Hyperkernel

Hyperkernel explores a push-button approach to building provably correct OS kernels.

Publications

News

Software

We are in the process of cleaning up the code for a release by the end of 2017.

Contact

You can reach us at {lukenels,helgi,kaiyuanz,dgj16,bornholt,emina,xi}@cs.washington.edu.