15 May
2014
15 May
'14
2:10 a.m.
On 10 Mar 2014, at 11:38 , Bryce Cronkite-Ratcliff <brycecr@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