Interesting statement on the Muen kernel section: "The world’s first Open
Source microkernel that has been formally proven to contain no runtime errors
at the source code level. “
We proved full functional correctness (which is a superset of absence of
runtime errors) for seL4 in 2009. I must b
Hello,
just FYI, I have set up a simple web page[1] to promote the wider
microkernel community and its goals. So far, the page comes with a brief
description of the microkernel concept and an incomplete list of
microkernel projects with links to each project's web. The description
is made out of t
