Minimal KVM/QEMU support in vmchecker