x86_64: vmm.so
