commit 6ae4b4b642441c102ef72700763c439cd6642bf6
author Marcin Witkowski <mwitkowski@antmicro.com> Thu Apr 14 17:27:08 2022 +0200
committer Marcin Witkowski <mwitkowski@antmicro.com> Thu Apr 14 17:27:08 2022 +0200
tree acdf919b8f92e293ee2ed3ccc9f2c6606cf758ab
parent e54eb9fccd33dcd621057460188540fe0bc7ad23

scripts: use upstream sel4 extensions

Change-Id: I1012629c5dfa450ee98edb274d2ebf33239c45bf

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 49da09f..0683146 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -18,6 +18,9 @@
 KATA_OUT=out/kata/${TARGET}/debug
 MATCHA_OUT=out/matcha/riscv32imc-unknown-none-elf/debug
 
+export SOURCE_DIR=${ROOTDIR}/kata
+export BUILD_DIR=$KATA_OUT
+
 # NB: -q suppresses the banner to workaround the banner msg triggering the pager
 # NB: auto-start cpu0 & cpu1 but leave cpu2 (VC) halted
 exec "${GDB}" -q -cd "${ROOTDIR}" \
@@ -31,5 +34,5 @@
   -ex "set pagination on" \
   -ex "target remote ${REMOTE}" \
   -ex "monitor cpu0 IsHalted false" \
-  -ex "monitor cpu1 CreateseL4" \
-  -ex "source sim/config/gdbscript.py"
+  -ex "monitor cpu1 CreateSeL4" \
+  -ex "source sim/renode/tools/sel4_extensions/gdbscript.py"