aboutsummaryrefslogtreecommitdiff
path: root/kapi/gdb/boot_modules/boot_module_registry.py
AgeCommit message (Expand)AuthorFilesLines
2026-05-10debug: add pretty printer for boot modules registryFelix Morgner1-0/+20