Mikrokernel
Z Wikipédie
Mikrokernel alebo mikrojadro je minimalistický kernel (jadro) operačného systémy počítača, ktorý poskytuje iba základné služby operačného systému (systémové volania), kým iné služby (bežne poskytované kernelmi) namiesto neho (a v spolupráci s ním) poskytujú user-space programy nazývané servery. Mikrokernely zvyčajne poskytujú služby ako správa adresného priestoru, vlákien a komunikáciu medzi procesmi, ale nie napríklad podporu sietí či zobrazovacích zariadení.
Neskoršie rozšírenia tohto konceptu viedli k novým architektúram ako nanokernely, exokernely a abstrakčné vrstvy hardvéru (HAL).
Výhody konceptu mikrojadra pri návrhu systémov: (a) pridanie novej služby nevyžaduje modifikáciu jadra, (b) je principiálne bezpečnejšie, keďže viac operácií sa vykonáva v užívateľskom režime ako v režime jadra, (c) jednoduchší dizajn a funkcionalita zvyčajne má za následok spoľahlivejší operačný systém.
