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

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

diff --git a/kapi/gdb/__init__.py b/kapi/gdb/__init__.py
index 88b1d05..1b36753 100644
--- a/kapi/gdb/__init__.py
+++ b/kapi/gdb/__init__.py
@@ -23,6 +23,11 @@ def build_pretty_printers():
         "^kapi::boot_modules::boot_module$",
         KapiBootModulesBootModulePrinter,
     )
+    pp.add_printer(
+        "kapi_boot_modules_boot_module_registry",
+        "^kapi::boot_modules::boot_module_registry$",
+        KapiBootModulesBootModuleRegistryPrinter,
+    )
     return pp
 
 
-- 
cgit v1.2.3