"Olvastam egyébként azt is, hogy a mai gépek már elég gyorsak a mikrokernel overhead-hez, de ez szerintem nem igaz. Nincs az a telefongyártó, aki 20%-kal csökkentené az akkumulátoridőt a mikrokernel kedvéért."
A telefonokon nem mikrokernelek szoktak lenni? (gondolok itt: Symbian, BB, iOS, gombos telefonok, etc)