Makatea

An x86, 64-bit Virtual Machine Monitor for the seL4, verified microkernel
Is freely licensed? ✅
Website https://trustworthy.systems/projects/TS/makatea
NLNet grant pages