David Gibson's QEMU tree