On 10 Mar 2014, at 11:38 , Bryce Cronkite-Ratcliff <[email protected]> wrote:
> I was not aware that seL4 is open source. If this is so, where is the source > code available? https://twitter.com/GernotHeiser/status/466400945946238977 Gernot
_______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
