Muen – An x86/64 Separation Kernel for High Assurance

Previously discussed in 2014 [-1]. Back then there was far less documentation [0].

[-1]: https://news.ycombinator.com/item?id=7656300

[0]: https://web.archive.org/web/20140427215017/http://muen.sk/