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.