Microkernel
label: マイクロカーネル @ja
label: نواة دقيقة (نظام تشغيل) @ar
label: Mikrojądro @pl
label: Mikrokärna @sv
label: 마이크로커널 @ko
label: Микроядро @ru
label: Micronúcleo @es
label: Mikrokernel @de
label: Мікроядро @uk
label: Mikrojádro @cs
label: 微內核 @zh
label: Micronúcleo (computação) @pt
description: najosnovniji kernel sa minimalnom količinom softvera dovoljnom za pokretanje operativnog sistema @bs
description: 운영 체제의 초소형 커널 @ko
description: कर्नेल जो पारंपरिक कर्नेल की तुलना में कम सेवाएँ प्रदान करता है @hi
description: mastrumila kerno, kiu havas malpli da trajtoj ol tradicia kerno @eo
description: 提供的服務比傳統核心少的核心 @zh
description: tipo de núcleo de sistema operativo @es
description: Betriebssystemkern @de
description: ядро операционной системы, реализующее минимальный набор функций @ru
description: kernel that provides fewer services than a traditional kernel
wiki page inter language link: http://fi.dbpedia.org/resource/Käyttöjärjestelmän_ydin
wiki page inter language link: http://fr.dbpedia.org/resource/Noyau_de_système_d'exploitation
wiki page inter language link: http://it.dbpedia.org/resource/Kernel
subject: Category:Microkernels
source: Department of Defense Trusted Computer System Evaluation Criteria
text: "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."
hypernym: Amount