From 1246e00478fb5ab2a357de17066fd8738395d9f1 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 4 May 2026 08:20:42 +0200
Subject: debug: split gdb modules

---
 scripts/gdb/pretty_printers.py | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 scripts/gdb/pretty_printers.py

(limited to 'scripts/gdb/pretty_printers.py')

diff --git a/scripts/gdb/pretty_printers.py b/scripts/gdb/pretty_printers.py
new file mode 100644
index 0000000..83db491
--- /dev/null
+++ b/scripts/gdb/pretty_printers.py
@@ -0,0 +1,37 @@
+import sys
+import os
+import gdb
+import importlib.util
+
+script_path = os.path.abspath(__file__)
+repo_root = os.path.dirname(os.path.dirname(os.path.dirname(script_path)))
+
+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")
-- 
cgit v1.2.3