"it seems like a good basis for a future secure Unix" There's QNX for that: http://www.qnx.com/products/neutrino-rtos/secure-kernel.html http://www.qnx.com/pro

"it seems like a good basis for a future secure Unix" There's QNX for that: http://www.qnx.com/products/neutrino-rtos/secure-kernel.html http://www.qnx.com/products/neutrino-rtos/secure-kernel.html It's used in industries such as automotive, nuclear, etc. Perhaps you meant "future secure open-source Unix" ;) (QNX source was closed the day RIM announced the purchase)