"Nem, egy normalis mikrokerneles OS le tudja kezelni a helyzetet, lasd pl. QNX."
Nem hiszem, hogy QNX -be nem lehet olyan videokartya drivert irni (Ami ugyanazokat az eroforrasokra kap engedejt mint a jo), ami magaval rantja a rendszert. Ha jol tevedek a videkartya kozvetlenul tud firkalni a fizikai rendszer memoriaba, eleg ott rosz cimet megadni.
De teny, hogy "nehezebb" veszelyes drivert irni, de lehetseges.
Mikrokernel elviekben biztonsagosabb, es egy kernel bug kisebb esellyel rantja magaval az egesz rendszert, cserebe picivel lasabb.