vcu118-run.py: Make sure to switch to thread before setting PC

Fixes: 2a62a6c ("vcu118-run.py: Adapt to accommodate GDB/cheri-14")
CTSRD-CHERI · Sep 13, 2024 · a24af43 · a24af43
1 parent 114e70e
commit a24af43
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/vcu118-run.py b/vcu118-run.py
@@ -376,6 +376,7 @@ def load_and_start_kernel(
     if num_cores > 1:
         args += ["-ex", "set $entry_point = $pc"]  # Record the entry point to the bios
         for core in range(1, num_cores):
+            args += ["-ex", f"thread {core + 1:d}"]  # switch to thread (core + 1) (GDB counts from 1)
             args += ["-ex", "set $pc=$entry_point"]  # set every other core to the start of the bios
         args += ["-ex", "thread 1"]  # switch back to core 0
     if extra_gdb_commands is not None: