work2 The real news of #sel4 floss release is the list assumptions and exceptions, that clarify how only extreme minimization and chip fabrication oversight can achieve the control we need. 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...