マイクロカーネル

noun

microkernel

A minimal operating system kernel that provides only basic services, with other services running in user space. Used in computing contexts.

• マイクロカーネルは、カーネルを最さい小しょう限げんに保たもつ設せっ計けい思し想そうです。

  A microkernel is a design philosophy that keeps the kernel minimal.

• このOSはマイクロカーネルを採さい用ようしている。

  This OS adopts a microkernel.