pub/teachos/kernel.git/libs/kstd/gdb/result.py, branch feature/catch2-string-makers

pub/teachos/kernel.git/libs/kstd/gdb/result.py, branch feature/catch2-string-makers An educational OS kernel chore: clean up python scripts 2026-09-30T11:10:21+00:00 Felix Morgner felix.morgner@ost.ch 2026-09-30T11:10:21+00:00 8bec65ba723c9c628d934ec02021d5ce09c01105

kstd/gdb: add error_code and result printers 2026-08-30T15:30:35+00:00 Felix Morgner felix.morgner@ost.ch 2026-08-30T15:30:35+00:00 58fe72ab83ab6490b9a09e71f5762f2a12bd2c5a