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 Share this:Click to share on Twitter (Opens in new window)Click to share on Facebook (Opens in new window)Like this:Like Loading...