1 files changed, 9 insertions, 7 deletions

diff --git a/scripts/debug-kernel.py b/scripts/debug-kernel.py
index c794ad6..c675045 100755
--- a/scripts/debug-kernel.py
+++ b/scripts/debug-kernel.py
@@ -2,20 +2,22 @@
 GDB Python script for debugging raisernics under QEMU.
 
 Usage:
-  1. Terminal 1: ./tools/qemu.sh --debug
-  2. Terminal 2: gdb -x tools/debug-kernel.py target/x86_64-unknown-uefi/debug/raisernics.efi
+  1. Terminal 1: ./scripts/run.sh --debug          (GDB stub on :1234)
+     Add PROFILE=debug for line-level symbols (slower guest).
+  2. Terminal 2: gdb -x scripts/debug-kernel.py
 """
 
 import gdb
 import os
 
-# Find the kernel binary
+# Find the kernel binary (debug profile preferred, release as fallback)
 script_dir = os.path.dirname(os.path.abspath(__file__))
 project_root = os.path.dirname(script_dir)
-binary = os.path.join(
-    project_root,
-    "target/x86_64-unknown-uefi/debug/raisernics.efi"
-)
+candidates = [
+    os.path.join(project_root, "target/x86_64-unknown-uefi/debug/rsdos.efi"),
+    os.path.join(project_root, "target/x86_64-unknown-uefi/release/rsdos.efi"),
+]
+binary = next((c for c in candidates if os.path.exists(c)), candidates[0])
 
 # Connect to QEMU's GDB stub
 gdb.execute("target remote :1234")