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. 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...