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/.

People