I am using openocd + jlink + gdb to debug aarch64 linux kernel on raspberry-pi 4. The hardware breakpoint worked, but when I perform info all-registers in gdb, I can not get the value of sp_el0, resulting in I can't know which task hits the breakpoint.
How to get current task when debugging aarch64 linux kernel using gdb + openocd + jlink?
