Mikrokernely mrtvé jsou, na běžných stanicích ani serverech se nepoužívají. Pokud se mnou nesouhlasíte, nainstalujte si Hurd, Qnx, VSTA, L4, T4 nebo jiný mikrokernel na počítač. Mikrokernely mohou být používány tam, kde jsou třeba realtimové aplikace.
Dále třeba v tomhle seriálu bude popsáno, jak se dělá DMA rovnou z page-cache do síťové karty, aby data vůbec neprocházela procesorem --- třeba tohle se v mikrokernelu implementovat nedá --- filesystém, tcp/ip stack a ovladač síťové karty jsou procesy --- zkuste se zamyslet, jaké rozhraní by to chtělo? Rozhodně na to nestačí ono jednoduché send(int id_procesu, char *zpráva, int délka_zprávy).