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?