On Sat, Mar 12, 2016 at 06:51:40AM +, Vasantha Ganesh K wrote:
> Please review my GSoC proposal that I have attached with this mail. I know
> its rough, please send some suggestions.
> The fact that GNU Hurd can scale well because of its architecture and its a
> part of GNU project serve
On 12 Mar 2016, at 2:03 , Alexander Senier
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 sa
