QNX

Segnalo che QNX ha rilasciato il codice sorgente del suo kernel, che poi è un microkernel.
Buona lettura
http://www.qnx.com/