New top story on Hacker News: Hyperkernel – A push-button approach to building provably correct OS kernels

Hyperkernel – A push-button approach to building provably correct OS kernels
89 by lainon | 15 comments on Hacker News.