pub/teachos/kernel.git/kapi/gdb/boot_modules, branch develop-BA-FS26 An educational OS kernel debug: show data in boot modules 2026-05-10T10:27:16+00:00 Felix Morgner felix.morgner@ost.ch 2026-05-10T10:27:16+00:00 f3b75be5725a5a975cf73926e73aa63efe928026 






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












debug: add pretty printer for boot modules
2026-05-08T16:14:08+00:00

Felix Morgner
felix.morgner@ost.ch

2026-05-08T16:14:08+00:00

8ec011d9f5ad79c1e951127d3906a08e282649d1