OKL4 vs L4::Pistachio

Gernot Heiser gernot at unsw.edu.au
Thu May 15 02:10:00 CEST 2014


On 10 Mar 2014, at 11:38 , Bryce Cronkite-Ratcliff <brycecr at gmail.com> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140515/3e1f7d80/attachment.html>


More information about the l4-hackers mailing list