microkernel

Noun

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

Translations

 * Chinese:
 * Mandarin: 微內核
 * Czech: mikrojádro
 * German: Mikrokernel
 * Kazakh: микроядро