Amit írtál azért hülyeség félig, mert bár igaz, hogy a monolitikus kerneleknél minden alrendszer egy kód és adat szegmensen van, de ez egyrészről csak i386 specifikus tulajdonság, másrészről nem ez a releváns különbség a mikrokernellel szemben. Lehet írni mikrokernelt akár szegmentálást nem támogató processzorra is (lásd a Minix sem csak i386-on fut ;), az igazi különbség az, hogy nem ugyanazon a privilégium szinten fut a kernel alrendszere *és* más a címtér. Viszont pont emiatt a címtér szeparáció miatt van szükség más kommunikációs módszerre (message passing), hisz stack/heap segítségével nem lehet adatot cserélni. Ez az igazán lassú része egyébként, meg a címtér váltás.
Amúgy a Linux-ból is csináltak olyan változatot pár éve az egyik egyetemen, amelyik szegmentációra alapuló szeparációt valósít meg... => google://Nooks