From 66e232270ab77acf13f146f6ed49faae467994db Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Sun, 30 Aug 2026 18:58:27 +0200 Subject: kapi/gdb: extend pretty printers --- kapi/gdb/__init__.py | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'kapi/gdb/__init__.py') diff --git a/kapi/gdb/__init__.py b/kapi/gdb/__init__.py index 1b367535..c48db922 100644 --- a/kapi/gdb/__init__.py +++ b/kapi/gdb/__init__.py @@ -2,6 +2,7 @@ import gdb.printing from .boot_modules import * from .devices import * +from .filesystem import * from .memory import * @@ -18,6 +19,9 @@ def build_pretty_printers(): pp.add_printer( "kapi_devices_device", "^kapi::devices::device$", KapiDevicesDevicePrinter ) + pp.add_printer( + "kapi_devices_resource", "^kapi::devices::resource$", KapiDevicesResourcePrinter + ) pp.add_printer( "kapi_boot_modules_boot_module", "^kapi::boot_modules::boot_module$", @@ -28,6 +32,11 @@ def build_pretty_printers(): "^kapi::boot_modules::boot_module_registry$", KapiBootModulesBootModuleRegistryPrinter, ) + pp.add_printer( + "kapi_filesystem_device_number", + "^kapi::filesystem::device_number$", + KapiFilesystemDeviceNumberPrinter, + ) return pp -- cgit v1.2.3