pub/teachos/kernel.git/kernel/kapi/devices/device_registry.cpp, branch develop
An educational OS kernel
kapi/devices: implement locking discipline
2026-07-26T19:46:37+00:00
Felix Morgner
felix.morgner@ost.ch
2026-07-26T19:46:37+00:00
4b28e4626e744ac9b779a680f8e9647014956dda
kapi: implement device removal
2026-07-26T11:23:46+00:00
Felix Morgner
felix.morgner@ost.ch
2026-07-26T11:23:46+00:00
4cc05543d48a35908b0756e133bd668745bd95c3
kapi: formally extract device registry
2026-07-24T15:50:16+00:00
Felix Morgner
felix.morgner@ost.ch
2026-07-24T15:50:16+00:00
e99eb52d9923606dd325862a5f2e649eee0b2d3e