| commit | 73dfd2f4e564de9a96bd352f9e6a80df1c5a6b8c | [log] [tgz] |
|---|---|---|
| author | Sam Leffler <sleffler@google.com> | Mon Jul 18 16:41:19 2022 +0000 |
| committer | Sam Leffler <sleffler@google.com> | Mon Jul 18 17:56:33 2022 +0000 |
| tree | 09b31a4b3e0d2441614fa6f7f774e70925364754 | |
| parent | a0b399386d2fcde48f68847e8110b94a1193914c [diff] |
kgdb: update DebugNameThread syscallid for new syscalls Change-Id: Ib713473deaab418b5da7cc9ae3d15d9b4a8388a9
diff --git a/kgdb.sh b/kgdb.sh index 39a95f1..6f0ab4e 100755 --- a/kgdb.sh +++ b/kgdb.sh
@@ -34,6 +34,6 @@ -ex "set pagination on" \ -ex "target remote ${REMOTE}" \ -ex "monitor cpu0 IsHalted false" \ - -ex "monitor cpu1 CreateSeL4 0xffffffef" \ + -ex "monitor cpu1 CreateSeL4 0xffffffee" \ -ex "source sim/renode/tools/sel4_extensions/gdbscript.py" \ -ex "sel4 symbol-autoswitching false"