pub/teachos/kernel.git/kapi/gdb/boot_modules/boot_module_registry.py, branch develop
An educational OS kernel
debug: add pretty printer for boot modules registry
2026-05-10T10:18:01+00:00
Felix Morgner
felix.morgner@ost.ch
2026-05-10T10:18:01+00:00
2cb7a2575e8eb46df36dae108fae661b91801540