#! /bin/bash

# Launch gdb talking to a simulator or similar at localhost:3333
#
# ROOTDIR must be set to the top of the shodan development tree
# (as done by build/setup.sh).

if [[ -z "${ROOTDIR}" ]]; then
    echo "Source build/setup.sh first"
    exit 1
fi

GDB="${ROOTDIR}"/cache/toolchain/bin/riscv32-unknown-elf-gdb
PROGRAM=out/shodan_boot_rom/build-out/multihart_boot_rom/multihart_boot_rom_sim_verilator.elf
REMOTE=localhost:3333

# TODO(sleffler): camkes components are loaded as part of capdl-loader;
#   need to calculate offsets

# NB: -q suppresses the banner to workaround the banner msg triggering the pager
exec "${GDB}" -q -cd "${ROOTDIR}" \
  -ex "set pagination off" \
  -ex "directory sw/tock" \
  -ex "file ${PROGRAM}" \
  -ex "set confirm off" \
  -ex "add-symbol-file ${PROGRAM}" \
  -ex "add-symbol-file out/tock-debug/riscv32imc-unknown-none-elf/debug/opentitan-matcha.elf" \
  -ex "add-symbol-file out/libtock-rs-debug/riscv32imc-unknown-none-elf/tab/opentitan/hello_world/rv32imc.elf" \
  -ex "add-symbol-file out/kata/kernel/kernel.elf" \
  -ex "add-symbol-file out/kata/capdl-loader" \
  -ex "add-symbol-file out/kata/debug_console.instance.bin" \
  -ex "add-symbol-file out/kata/process_manager.instance.bin" \
  -ex "add-symbol-file out/kata/sel4debug.instance.bin" \
  -ex "set pagination on" \
  -ex "target remote ${REMOTE}"