commit b5af5a8c78135e72e59571a8cbcd38c86ba499b7
author Marcin Witkowski <mwitkowski@antmicro.com> Thu Feb 17 16:29:45 2022 +0100
committer Marcin Witkowski <mwitkowski@antmicro.com> Thu Feb 17 16:29:45 2022 +0100
tree 08f78e6d975d399fbedecf741e17d73ada24d63e
parent 2be64e116c7bd66805619a2f814ee841c2a2802d

scripts: load sel4 extensions in kgdb.sh

Change-Id: I84a4161ddcaf0e036eb6b9ff4664a78d7dc0c279

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 5e9584c..49da09f 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -28,10 +28,8 @@
   -ex "add-symbol-file ${PROGRAM}" \
   -ex "add-symbol-file ${MATCHA_OUT}/matcha_platform" \
   -ex "add-symbol-file ${MATCHA_OUT}/matcha_app" \
-  -ex "add-symbol-file ${KATA_OUT}/kernel/kernel.elf" \
-  -ex "add-symbol-file ${KATA_OUT}/capdl-loader" \
-  -ex "add-symbol-file ${KATA_OUT}/debug_console.instance.bin" \
-  -ex "add-symbol-file ${KATA_OUT}/process_manager.instance.bin" \
   -ex "set pagination on" \
   -ex "target remote ${REMOTE}" \
-  -ex "monitor cpu0 IsHalted false"
+  -ex "monitor cpu0 IsHalted false" \
+  -ex "monitor cpu1 CreateseL4" \
+  -ex "source sim/config/gdbscript.py"