microkernel in German
microkernel in German
Mikrokernel
(operating systems) A minimal operating system kernel offering basic mechanisms rather than abstract services.