From 1047400be2e07515a510b53f784de97588998227 Mon Sep 17 00:00:00 2001
From: Mathieu Maret <mathieu.maret@gmail.com>
Date: Mon, 26 Feb 2024 23:03:49 +0100
Subject: [PATCH] Add missing debug.iso.gdb file

---
 debug.iso.gdb | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 debug.iso.gdb

diff --git a/debug.iso.gdb b/debug.iso.gdb
new file mode 100644
index 0000000..1816cc1
--- /dev/null
+++ b/debug.iso.gdb
@@ -0,0 +1,10 @@
+add-symbol-file userspace/user
+# Thx to add-gnu-debuglink gdb should know that symbols are in kernel.debug.
+# And by default, it should be looking at executable.debug
+# But we still have to give him the executable he is suppose to debug (See https://sourceware.org/gdb/current/onlinedocs/gdb.html/Separate-Debug-Files.html)
+#add-symbol-file kernel.debug
+file kernel
+source custom_gdb_extension.py
+#For ASM sources
+directory arch/x86/:core
+target remote | qemu-system-i386 -S -gdb stdio -m 16M -serial file:serialOut -hda fd.iso -hdb disk.img