From 0ea43527332b7e5f1cfec6007506aa54e8f628cb Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Thu, 7 May 2026 09:12:05 +0000
Subject: debug: enable libstdc++ helpers

---
 scripts/gdb/load.py      | 47 -----------------------------------------------
 scripts/gdb/teachos.py   | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 scripts/gdb/toolchain.py | 35 +++++++++++++++++++++++++++++++++++
 3 files changed, 82 insertions(+), 47 deletions(-)
 delete mode 100644 scripts/gdb/load.py
 create mode 100644 scripts/gdb/teachos.py
 create mode 100644 scripts/gdb/toolchain.py

(limited to 'scripts')

diff --git a/scripts/gdb/load.py b/scripts/gdb/load.py
deleted file mode 100644
index 355f6b9..0000000
--- a/scripts/gdb/load.py
+++ /dev/null
@@ -1,47 +0,0 @@
-import sys
-import os
-import gdb
-import importlib.util
-
-script_path = os.path.abspath(__file__)
-script_root = os.path.dirname(script_path)
-repo_root = os.path.dirname(os.path.dirname(script_root))
-
-if script_root not in sys.path:
-    sys.path.insert(0, script_root)
-
-from teachos.dump_mb2i import DumpMB2I
-
-components = {
-    "kstd": "libs/kstd/gdb",
-    "kapi": "kapi/gdb",
-}
-
-for component, path in components.items():
-    full_path = os.path.join(repo_root, *path.split("/"))
-    init_file = os.path.join(full_path, "__init__.py")
-
-    if os.path.isfile(init_file):
-        try:
-            spec = importlib.util.spec_from_file_location(component, init_file)
-            module = importlib.util.module_from_spec(spec)
-            sys.modules[component] = module
-            spec.loader.exec_module(module)
-
-            if hasattr(module, "register_printers"):
-                module.register_printers(gdb.current_objfile())
-                gdb.write(f"Info: Registered pretty printers for '{component}'.\n")
-            else:
-                gdb.write(
-                    f"Warning: '{component}' does not have 'register_printers' function\n"
-                )
-        except Exception as e:
-            gdb.write(f"Warning: Failed to load '{component}' pretty printers: {e}\n")
-    else:
-        gdb.write(f"Warning: GDB extension init not found: '{init_file}'\n")
-
-gdb.write("Info: Loaded TeachOS pretty printers.\n")
-
-DumpMB2I()
-
-gdb.write("Info: Loaded TeachOS tools.\n")
\ No newline at end of file
diff --git a/scripts/gdb/teachos.py b/scripts/gdb/teachos.py
new file mode 100644
index 0000000..355f6b9
--- /dev/null
+++ b/scripts/gdb/teachos.py
@@ -0,0 +1,47 @@
+import sys
+import os
+import gdb
+import importlib.util
+
+script_path = os.path.abspath(__file__)
+script_root = os.path.dirname(script_path)
+repo_root = os.path.dirname(os.path.dirname(script_root))
+
+if script_root not in sys.path:
+    sys.path.insert(0, script_root)
+
+from teachos.dump_mb2i import DumpMB2I
+
+components = {
+    "kstd": "libs/kstd/gdb",
+    "kapi": "kapi/gdb",
+}
+
+for component, path in components.items():
+    full_path = os.path.join(repo_root, *path.split("/"))
+    init_file = os.path.join(full_path, "__init__.py")
+
+    if os.path.isfile(init_file):
+        try:
+            spec = importlib.util.spec_from_file_location(component, init_file)
+            module = importlib.util.module_from_spec(spec)
+            sys.modules[component] = module
+            spec.loader.exec_module(module)
+
+            if hasattr(module, "register_printers"):
+                module.register_printers(gdb.current_objfile())
+                gdb.write(f"Info: Registered pretty printers for '{component}'.\n")
+            else:
+                gdb.write(
+                    f"Warning: '{component}' does not have 'register_printers' function\n"
+                )
+        except Exception as e:
+            gdb.write(f"Warning: Failed to load '{component}' pretty printers: {e}\n")
+    else:
+        gdb.write(f"Warning: GDB extension init not found: '{init_file}'\n")
+
+gdb.write("Info: Loaded TeachOS pretty printers.\n")
+
+DumpMB2I()
+
+gdb.write("Info: Loaded TeachOS tools.\n")
\ No newline at end of file
diff --git a/scripts/gdb/toolchain.py b/scripts/gdb/toolchain.py
new file mode 100644
index 0000000..bbb7810
--- /dev/null
+++ b/scripts/gdb/toolchain.py
@@ -0,0 +1,35 @@
+import os
+import subprocess
+import sys
+
+
+def setup_toolchain_debugging():
+    try:
+        gcc_path = (
+            subprocess.check_output(["which", "x86_64-pc-elf-g++"])
+            .decode("utf-8")
+            .strip()
+        )
+        python_dir = None
+
+        share_path = os.path.join(os.path.dirname(os.path.dirname(gcc_path)), "share")
+        for root, dirs, _ in os.walk(share_path):
+            if "libstdcxx" in dirs:
+                python_dir = root
+                break
+
+        if python_dir:
+            sys.path.insert(0, python_dir)
+
+            from libstdcxx.v6.printers import register_libstdcxx_printers
+            from libstdcxx.v6.xmethods import register_libstdcxx_xmethods
+
+            register_libstdcxx_printers(None)
+            register_libstdcxx_xmethods(None)
+
+            print(f"Loaded Printers & Xmethods from: {python_dir}")
+    except Exception as e:
+        print(f"Debug setup failed: {e}")
+
+
+setup_toolchain_debugging()
-- 
cgit v1.2.3