microkernel

English

Etymology

micro- +‎ kernel

Noun

microkernel (plural microkernels)

1. (operating systems) A minimal operating system kernel offering basic mechanisms rather than abstract services.

   Coordinate term: unikernel

   • 2008, Trent Jaeger, Operating System Security, Morgan & Claypool Publishers, →ISBN, page 95:

     In the 1980s, microkernel systems emerged. Microkernel systems were similar to security kernels in that they aimed for minimal functionality in the kernel, but microkernel systems focused on providing system abstractions for building complete systems more easily and more efficiently, rather than more securely.

Translations

a minimal operating system kernel

• Chinese:

  Mandarin: 微內核／微内核 (wēi nèihé)

• Czech: mikrojádro n
• German: Mikrokernel m
• Kazakh: микроядро (mikroädro)

Further reading

• microkernel on Wikipedia.Wikipedia