Re: FYI: microkernel.info community site
Gernot Heiser <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.sel4.devel,gmane.os.hurd.bugs,gmane.os.genode.devel,gmane.os.minix.general,gmane.os.helenos.devel,gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
On 12 Mar 2016, at 2:03 , Alexander Senier <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel