pub/teachos/kernel.git/kapi/gdb/devices, branch develop An educational OS kernel kapi: fix device pretty printer 2026-07-24T12:37:27+00:00 Felix Morgner felix.morgner@ost.ch 2026-07-24T12:37:27+00:00 bc1cc518c3871f5baee72461cf881b5ad54fa993 






kapi: remove major number allocator
2026-07-21T15:33:13+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-21T15:33:13+00:00

93de74017095f86a6c62447938ec6169a5184c45












debug: add page and frame formatters
2026-05-08T15:12:24+00:00

Felix Morgner
felix.morgner@ost.ch

2026-05-08T15:12:24+00:00

07fb219869099c719b0fbfeae81b95512487639e