Miscellaneous tools related to QEMU