7.2.2 Using the gdbinfo command

On EFI platforms the command gdbinfo will output a string that is to be run in a GDB session running with the gdb_grub GDB script.