echo "starting QEMU"
make gdb