Muen | SK for x86/64 - discu.eu

Reddit

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. http://muen.codelabs.ch/ 77 comments 10/12/2013 programming

Linking pages

GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments
The Muen Separation Kernel – OSnews http://www.osnews.com/story/27531/The_Muen_Separation_Kernel 3 comments

Related searches:

Search whole site: site:muen.codelabs.ch

Search title: Muen | SK for x86/64

See how to search.

Submit link to: