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
diff --git a/kgdb.sh b/kgdb.sh
index 1f457d0..05992fb 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -26,7 +26,7 @@
TARGET=riscv32-unknown-elf
GDB="${ROOTDIR}"/cache/toolchain/bin/${TARGET}-gdb
-PROGRAM=out/shodan_boot_rom/multihart_boot_rom.elf
+PROGRAM=out/matcha/hw/boot_rom.elf
REMOTE=localhost:3333
CANTRIP_OUT=out/cantrip/${PLATFORM}/debug
@@ -77,7 +77,7 @@
function main {
local -a gdbargs=(
-ex "set pagination off"
- -ex "directory sw/tock"
+ -ex "directory sw/tock hw/matcha"
-ex "file ${PROGRAM}"
-ex "set confirm off"
-ex "add-symbol-file ${PROGRAM}"
