10 years ago, I helped design a similar system. It was a capabilities based OS on a formally modeled microkernel.
I'm still not sure than there's a market for this stuff. It must be free, and it's hard to build a business model around that.
replies(1):