"Szerintem a mikrokernel hívei adósak egy igazi proof of concept megoldással."
Én nem értek hozzá meg hívő sem vagyok, de pl QNX-re épülő motyók, Symbian? Vagy ezek nem számítanak? Meg van ilyen is, hogy (se)L4. (Meg hibrid motyók, ilyen jelentéktelenek, mint a Tru64, meg XNU, WinNT, BeOS, OS2...).
Az, hogy mi terjedt el és mi az épeszű, nem feltétlen esik egybe nem csak az oprendszereknél.