3 ms·

Muen – An x86/64 Separation Kernel for High Assurance

• LiamPowell 10mo ago
  Previously discussed in 2014 [-1]. Back then there was far less documentation [0]. [-1]: https://news.ycombinator.com/item?id=7656300 https://news.ycombinator.com/item?id=7656300 [0]: https://web.archive.org/web/20140427215017/http://muen.sk/ https://web.archive.org/web/20140427215017/http://muen.sk/