This is just stolen from qemu_driver.c with tweaks to fit the
test driver.