A microkernal of OS