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?

Gernot