source: rc_os_nios2/atk2-sc1_1.3.2/target/nios2_dev_gcc/gdb.ini@ 128

# .gdbinit for nios2

define show_regs
        info all-registers
end

define init_nios2
        target remote localhost:1234
        load
end

init_nios2