- The Muen Separation Kernel - Open Source microkernel -- Source formally proven to contain no runtime errors http://www.osnews.com/story/27531/The_Muen_Separation_Kernel 3 comments osdev
Linked pages
- Gödel's incompleteness theorems - Wikipedia https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems 343 comments
- Muen | SK for x86/64 http://muen.codelabs.ch/ 78 comments
- OSnews - Exploring the Future of Computing http://www.osnews.com/ 55 comments
- NX bit - Wikipedia https://en.wikipedia.org/wiki/NX_bit 0 comments
Related searches:
Search whole site: site:osnews.com
Search title: The Muen Separation Kernel – OSnews
See how to search.