tree fbf72671380f96ff708930ef7deb900aff4bf374
parent 996c8dc2b30555a1da1bca52cdb22cef335042d9
author Sam Leffler <sleffler@google.com> 1700697774 -0800
committer Sam Leffler <sleffler@google.com> 1701128565 -0800

kgdb.sh: fix bitrot

- location of boot_rom.elf
- search path to find boot_rom source code

With the above we can single-step through the boot rom (modulo callouts
to some lowrisc code that doesn't seem to be part of the repo) and into
the upper layers where the sel4_gdb support finds code (with manual
symbol switching).

Change-Id: I7e64a33541323be49069193dce13b530f8d67b97