pub/teachos/kernel.git/scripts/gdb/pretty_printers.py, branch develop-BA-FS26 An educational OS kernel debug: add multiboot2 information dump tool 2026-05-04T17:40:01+00:00 Felix Morgner felix.morgner@ost.ch 2026-05-04T17:40:01+00:00 d8670d8eeb55bc0ea347cfe4a9a27640fe4e4e7e This patch introduces a new GDB tool `dump_mb2i` that dump the multiboot2 information provided by the bootloader. This tool can be invoked in the GDB console. For example in vscode: -exec dump_mb2i ((kapi::boot::information)bootstrap_information).mbi The tool expects the address of the loader provided MB2 information as its only argument. 
This patch introduces a new GDB tool `dump_mb2i` that dump the
multiboot2 information provided by the bootloader. This tool can be
invoked in the GDB console. For example in vscode:

  -exec dump_mb2i ((kapi::boot::information)bootstrap_information).mbi

The tool expects the address of the loader provided MB2 information as
its only argument.
debug: improve pretty printer implementations 2026-05-04T10:01:01+00:00 Felix Morgner felix.morgner@ost.ch 2026-05-04T10:01:01+00:00 78e42a1b6e0a857865be1e60f82871ac13c91bb1 






debug: split gdb modules
2026-05-04T06:20:42+00:00

Felix Morgner
felix.morgner@ost.ch

2026-05-04T06:20:42+00:00

1246e00478fb5ab2a357de17066fd8738395d9f1