pub/teachos/kernel.git/.gdbinit, branch develop
An educational OS kernel
ide: improve gdb config file
2026-07-21T06:25:00+00:00
Felix Morgner
felix.morgner@ost.ch
2026-07-21T06:25:00+00:00
54da71f2e70899490fd3d3c89af83a117474e9eb
chore: rename test source files
2026-07-09T12:09:57+00:00
Felix Morgner
felix.morgner@ost.ch
2026-07-09T12:09:57+00:00
0c2d88cd36876df5eeb4ada2f9d339ce45b575be