1 Virtualization support in the Linux kernel.
6 - Kernel Virtual Machine. See also http://linux-kvm.org
8 - Extremely simple hypervisor for experimental/educational use.
10 - User Mode Linux, builds/runs Linux kernel as a userspace program.
12 - Text version of draft virtio spec.
13 See http://ozlabs.org/~rusty/virtio-spec