This is a fork of the Linux Kernel Virtual Machine (KVM) with VMI extensions for x86.