Originariamente inviato da Caleb
secondo voi quali complicazioni nascono dal far girare linux con un microkernel? sarebbe fattibile, mantenendo intatto lo strato di tutto il software rimanente (shell, applicativi e roba varia)? e per quanto riguarda i driver?
si, si, si, gia' stato fatto
http://os.inf.tu-dresden.de/L4/LinuxOnL4/
per maggiori informazio riguardo a performance etc. :
http://os.inf.tu-dresden.de/L4/LinuxOnL4/papers.shtml
(a parte che gnu/hurd ai tempi utilizzo' i driver (block devices e network cards) di linux 2.0)