A kernel that's proveably error-free [pdf]https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf by tasubotadas • 7 years ago 1 0 7 years agoSIsigops.org