On 12 Mar 2016, at 2:03 , Alexander Senier
wrote:
>
> when analyzing the statement carefully, you'll find that it's indeed
> true. The seL4 source was *open-sourced* in July 2014 whereas the Muen
> source was released in August 2013.
>
> But of cause you're right, we're not talking about the sa
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
> The Hurd did not repeat the errors of past. Work on the Hurd
> started in 1990.
It's that old? Apologies, should have checked my facts on that one.
Gernot
well defined concept with SawMill. Also, we
don't tend to release stuff thats highly
experimental/hacked/unstable. At the moment SawMill (or whatever it
will be called) is too much of a moving target to be anywhere near a
release.
I hope this helps to clarify where Karlsruhe stands with re
