[seL4] FYI: microkernel.info community site

Gernot Heiser gernot at ...412...
Sat Mar 12 03:05:15 CET 2016


On 12 Mar 2016, at 2:03 , Alexander Senier <alexander.senier at ...250...> 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 same properties here.

… and even the above is at best of historical relevance.

Gernot


More information about the users mailing list