From 2cb7a2575e8eb46df36dae108fae661b91801540 Mon Sep 17 00:00:00 2001 From: Felix Morgner 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 "" + 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