Checking the kernel in qemu