On 12 Mar 2016, at 2:03 , Alexander Senier <alexander.sen...@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 ------------------------------------------------------------------------------ Transform Data into Opportunity. Accelerate data analysis in your applications with Intel Data Analytics Acceleration Library. Click to learn more. http://pubads.g.doubleclick.net/gampad/clk?id=278785231&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
