icecap-project

Trustworthy virtualization based on seL4, the formally verified microkernel

Primary repository: https://gitlab.com/icecap-project/icecap