Mikrokernel
A HupWiki-ből...
A mikrokernel olyan kernel, ahol nem egyetlen egészben van megvalósítva a szokványos (azaz nem monolitikus) kernel összes feladata, hanem több, egymással kooperáló program látja el ezt a feladatot, így futásidőben is messzemenőkig átkonfigurálhatóvá válik a rendszer.
Bár az elmélet szép, az az igazság, hogy a gyakorlatban nehéz jó mikrokernelt írni, talán ezért is van, hogy a népszerű Linux se mikrokernel felépítésű, bár több szempontból már nem is tekinthető teljesen monolitikus kernelnek se, mégis talán ahhoz áll közelebb.
Nemrég azonban sikerült elkészítenie az L4 mikrokernel-család alkotóinak a Linux 2.2-es, ill. 2.4 -es változatának L4Linux elnevezésű, mikrokerneles változatát. Voltak már próbálkozások erre korábban is (ld. mkLinux Macintoshra), de az L4-re alapozott rendszer teljesítménye már-már alig marad le a monolitikus-moduláris felépítésű Linuxétól.