For all of you who want to see how this successfull microkernel OS is written, QNX is opening sources
of the Neutrino Kernel (Version 6):

http://www.qnx.com/news/pr_2471_1.html