[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [seL4] FYI: microkernel.info community site
|
From: |
Gernot Heiser |
|
Subject: |
Re: [seL4] FYI: microkernel.info community site |
|
Date: |
Sat, 12 Mar 2016 02:05:15 +0000 |
On 12 Mar 2016, at 2:03 , Alexander Senier <alexander.senier@tu-dresden.de>
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