set prompt \033[31m(gdb) \033[0m set disassembly-flavor intel python import os gdb.execute('file ' + os.environ['BUILDROOT'] + 'sysroot/kernel') end target remote :1234 define q monitor quit end define reg monitor info registers end define reset monitor system_reset end