debug: add pretty printer for boot modules

1 files changed, 23 insertions, 0 deletions

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