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/__init__.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'kapi/gdb/__init__.py')

diff --git a/kapi/gdb/__init__.py b/kapi/gdb/__init__.py
index afb68f8..88b1d05 100644
--- a/kapi/gdb/__init__.py
+++ b/kapi/gdb/__init__.py
@@ -1,7 +1,8 @@
 import gdb.printing
 
-from .memory import *
+from .boot_modules import *
 from .devices import *
+from .memory import *
 
 
 def build_pretty_printers():
@@ -17,6 +18,11 @@ def build_pretty_printers():
     pp.add_printer(
         "kapi_devices_device", "^kapi::devices::device$", KapiDevicesDevicePrinter
     )
+    pp.add_printer(
+        "kapi_boot_modules_boot_module",
+        "^kapi::boot_modules::boot_module$",
+        KapiBootModulesBootModulePrinter,
+    )
     return pp
 
 
-- 
cgit v1.2.3