Regardless of what the real reason was, it is nice to see mikro-kernels being used in production.

Funny how many successful embedded OS are micro-kernels while desktops OS are still struggling to achieve similar designs, the best being the Mac OS X and Windows hybrid designs.