work2 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 by Rufo Guerreschi on July 31, 2014 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)Click to share on Google+ (Opens in new window)Like this:Like Loading...