Microkernel
マイクロカーネル
نواة دقيقة (نظام تشغيل)
Mikrojądro
Mikrokärna
마이크로커널
Микроядро
Micronúcleo
Mikrokernel
Мікроядро
Mikrojádro
微內核
Micronúcleo (computação)
najosnovniji kernel sa minimalnom količinom softvera dovoljnom za pokretanje operativnog sistema
운영 체제의 초소형 커널
कर्नेल जो पारंपरिक कर्नेल की तुलना में कम सेवाएँ प्रदान करता है
mastrumila kerno, kiu havas malpli da trajtoj ol tradicia kerno
提供的服務比傳統核心少的核心
tipo de núcleo de sistema operativo
Betriebssystemkern
ядро операционной системы, реализующее минимальный набор функций
kernel that provides fewer services than a traditional kernel
Department of Defense Trusted Computer System Evaluation Criteria
"The TCB shall [implement] complete, conceptually simple protection mechanisms with precisely defined semantics. Significant system engineering shall be directed toward minimizing the complexity of the TCB, as well as excluding from the TCB those modules that are not protection-critical."