There real news of #sel4 is the lost assumptions and exceptions, that clarify how only extreme minimization and fab oversight will allow sufficient control July 31, 2014work2Rufo Guerreschi http://sel4.systems/FAQ/proof.pml