SeKVM verified hypervisor based on KVM

https://spectrum.ieee.org/riskfactor/computing/software/safe-hypervisor

SeKVM verified hypervisor based on KVM