Sistema operativo con microkernel

[dexter93]

esiste un sistema operativo open-source, con microkernel e tuttora mentenuto in sviluppo e che sia diverso da Minix?
Mi servirebbe per avvicinarmi allo studio dei kernel.  ::)

[luca1202]

il kernel hurd è di tipo microkernel.

se non sbaglio esiste una versione di debian che usa quel kernel, debian/hurd per l'appunto.

[gdivito]

qnx non è open source nel senso legale del termine, ma i sorgenti sono visibili.

[Slater]

Esiste Hurd/Debian che è ad architettura microkernel. Pare anche che il progetto sia abbastanza maturo, a leggere dal sito, anche se è molto lontano dal poter essere una distribuzione daily use...