Hyperkernel

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

Publications

Software

The source code is hosted on Github at https://github.com/locore/hv6/.

Contact

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