There real news of #sel4 is the lost assumptions and exceptions, that clarify how only extreme minimization and fab oversight will allow sufficient control

Posted on July 31, 2014 by Rufo Guerreschi

http://sel4.systems/FAQ/proof.pml

This entry was posted in work2. Bookmark the permalink.