Tu peux directement faire un printf dans gdb
ex:

(gdb) printf "PC: 0x%08X, SP = 0x%08X, FP = 0x%08X\n", $pc, $sp, $fp