Fleshing out the QEMU blueprints