ci sono (almeno sul piano o sul livello teorico) che i guidatori saranno / saranno / saranno separati in generale? es:.
- i driver del touchpad non dovrebbero fare nulla con l'accesso alla rete
- i driver wireless non dovrebbero essere in grado di toccare nulla da ex .: / home
- Grafica / wifi / suono / disk / etc. i driver non dovrebbero essere in grado di ottenere nulla dalle tastiere I microfoni
- non devono fare nulla con l'accesso alla rete
- e così via.
o si tratta solo di un sogno o di un concetto errato secondo cui la separazione richiede "all'interno del kernel"?