mp1-tool Makefile can save the time typing commands in docker. make debug binds port 26000, allowing you to debug on host. script.exp can run make qemu and type commands in qumu for you. (Dependency: expect) gdb.sh runs gdb with gdbscript loaded.