seL4-64bitVMM

Very restricted virtualized environment for higher security
Is freely licensed? ✅
Website https://trustworthy.systems/projects/TS/makatea
Source https://github.com/seL4/seL4
NLNet grant pages