Hi Vasily,
On 03/14/2016 09:00 AM, Vasily A. Sartakov wrote:
> this is a good initiative, I like it.
>
> Also, it seems to me, the content of the site can be enhanced by
> getting-started matherials of relevant projects, or (I prefer), MOOC project
> about microkernels with basics, history, arc
Greetings
this is a good initiative, I like it.
Also, it seems to me, the content of the site can be enhanced by
getting-started matherials of relevant projects, or (I prefer), MOOC project
about microkernels with basics, history, architectures and examples based on
different projects. Also, t
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
Hi Gernot,
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 same properties here.
Cheers,
Alex
On 03/10/2016 10:3
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
