zlacker

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.

>>jnwats+(OP)
When Joanna said nothing like Qubes existed, I told her INTEGRITY PC was doing it around 2005 using separatiom kernel approach with stronger security. You must have worked on that one given 10 years remark. Im curious about your experiences with that. Email me if you want details confidential. Rarely meet folks doing the kinds of architectures I research and push for further adoption.