Hyperkernel – A push-button approach to building provably correct OS kernels
89 by lainon | 13 comments on Hacker News.
Wednesday, September 12, 2018
New top story on Hacker News: Hyperkernel – A push-button approach to building provably correct OS kernels
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment