12 Mar
2016
12 Mar
'16
1:05 p.m.
On 12 Mar 2016, at 2:03 , Alexander Senier
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