seL4 kernel is formally verified

gernot at cse.unsw.EDU.AU gernot at cse.unsw.EDU.AU
Tue Aug 18 03:41:55 CEST 2009

On Tue, August 18, 2009 10:18 am, John van V. wrote:
> Doesn't load.

Apologies, that was the link to the internal stage site. The correct
link is


More information about the l4-hackers mailing list