From 8ec011d9f5ad79c1e951127d3906a08e282649d1 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Fri, 8 May 2026 18:14:08 +0200
Subject: debug: add pretty printer for boot modules

---
 kapi/gdb/boot_modules/boot_module.py | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 kapi/gdb/boot_modules/boot_module.py

(limited to 'kapi/gdb/boot_modules/boot_module.py')

diff --git a/kapi/gdb/boot_modules/boot_module.py b/kapi/gdb/boot_modules/boot_module.py
new file mode 100644
index 0000000..f0d558b
--- /dev/null
+++ b/kapi/gdb/boot_modules/boot_module.py
@@ -0,0 +1,23 @@
+import gdb
+from teachos import format_size
+
+
+class KapiBootModulesBootModulePrinter(gdb.ValuePrinter):
+    def __init__(self, val):
+        self.__val = val
+        self.__name = val["name"]
+        self.__start = val["start_address"]
+        self.__size = val["size"]
+        self.__pointer_type = gdb.lookup_type("std::byte").pointer()
+        self.__pretty_name = self.__name if str(self.__name) != '""' else "<no name>"
+
+    def to_string(self):
+        return f"boot module {self.__pretty_name} of size {format_size(int(self.__size))}, at {self.__start.cast(self.__pointer_type)}"
+
+    def children(self):
+        yield ("name", self.__name)
+        yield ("start_address", self.__start)
+        yield ("size", self.__size)
+
+    def display_hint(self):
+        return None
-- 
cgit v1.2.3


From 2cb7a2575e8eb46df36dae108fae661b91801540 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Sun, 10 May 2026 12:18:01 +0200
Subject: debug: add pretty printer for boot modules registry

---
 kapi/gdb/boot_modules/boot_module.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kapi/gdb/boot_modules/boot_module.py')

diff --git a/kapi/gdb/boot_modules/boot_module.py b/kapi/gdb/boot_modules/boot_module.py
index f0d558b..b26ecf1 100644
--- a/kapi/gdb/boot_modules/boot_module.py
+++ b/kapi/gdb/boot_modules/boot_module.py
@@ -9,10 +9,10 @@ class KapiBootModulesBootModulePrinter(gdb.ValuePrinter):
         self.__start = val["start_address"]
         self.__size = val["size"]
         self.__pointer_type = gdb.lookup_type("std::byte").pointer()
-        self.__pretty_name = self.__name if str(self.__name) != '""' else "<no name>"
+        self.__pretty_name = " " + str(self.__name) if str(self.__name) != '""' else ""
 
     def to_string(self):
-        return f"boot module {self.__pretty_name} of size {format_size(int(self.__size))}, at {self.__start.cast(self.__pointer_type)}"
+        return f"boot module{self.__pretty_name} of size {format_size(int(self.__size))}, at {self.__start.cast(self.__pointer_type)}"
 
     def children(self):
         yield ("name", self.__name)
-- 
cgit v1.2.3


From f3b75be5725a5a975cf73926e73aa63efe928026 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Sun, 10 May 2026 12:27:16 +0200
Subject: debug: show data in boot modules

---
 kapi/gdb/boot_modules/boot_module.py | 35 ++++++++++++++++++++++++++++-------
 1 file changed, 28 insertions(+), 7 deletions(-)

(limited to 'kapi/gdb/boot_modules/boot_module.py')

diff --git a/kapi/gdb/boot_modules/boot_module.py b/kapi/gdb/boot_modules/boot_module.py
index b26ecf1..97e6584 100644
--- a/kapi/gdb/boot_modules/boot_module.py
+++ b/kapi/gdb/boot_modules/boot_module.py
@@ -3,21 +3,42 @@ from teachos import format_size
 
 
 class KapiBootModulesBootModulePrinter(gdb.ValuePrinter):
+    class Iterator:
+        def __init__(self, begin: gdb.Value, end: gdb.Value):
+            self._item = begin
+            self._end = end
+            self._count = 0
+
+        def __iter__(self):
+            return self
+
+        def __next__(self):
+            count = self._count
+            self._count = count + 1
+
+            if self._item == self._end:
+                raise StopIteration
+
+            element = self._item.dereference()
+            self._item += 1
+            return (f"[{count}]", element)
+
     def __init__(self, val):
+        self.__pointer_type = gdb.lookup_type("std::byte").pointer()
+
         self.__val = val
         self.__name = val["name"]
         self.__start = val["start_address"]
-        self.__size = val["size"]
-        self.__pointer_type = gdb.lookup_type("std::byte").pointer()
+        self.__size = int(val["size"])
+        self.__begin = val["start_address"]["m_value"].cast(self.__pointer_type)
+        self.__end = self.__begin + self.__size
         self.__pretty_name = " " + str(self.__name) if str(self.__name) != '""' else ""
 
     def to_string(self):
-        return f"boot module{self.__pretty_name} of size {format_size(int(self.__size))}, at {self.__start.cast(self.__pointer_type)}"
+        return f"boot module{self.__pretty_name} of size {format_size(self.__size)}, at {self.__start.cast(self.__pointer_type)}"
 
     def children(self):
-        yield ("name", self.__name)
-        yield ("start_address", self.__start)
-        yield ("size", self.__size)
+        return self.Iterator(self.__begin, self.__end)
 
     def display_hint(self):
-        return None
+        return "array"
-- 
cgit v1.2.3