Forum Ubuntu-it

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.  ::)

il kernel hurd è di tipo microkernel.

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

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

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...