pub/teachos/kernel.git/kapi, branch develop An educational OS kernel kernel: allow reallocation of minor numbers 2026-07-29T19:48:02+00:00 Felix Morgner felix.morgner@ost.ch 2026-07-29T19:48:02+00:00 0958e712a762374b4706015fe225215678906dd8 






x86_64: split lapic according to UDM
2026-07-28T11:09:08+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-28T11:09:08+00:00

36248bb63a396dfea762d5b2cf028bf4b7a2b62e












x86_64: port PIT to devices resources
2026-07-27T16:09:27+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-27T16:09:27+00:00

b5450cecbffdca1dd9dffdb58dd295a6a5d7f6eb












kapi: fix device resources
2026-07-27T15:16:13+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-27T15:16:13+00:00

1121cb81d66b704c7528356f450acffba4c0f62f












kapi: fix device resource lookup
2026-07-27T14:10:38+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-27T14:10:38+00:00

dca8353027526b9e522ad8be169d9763e447b08b












kapi: add device resources
2026-07-27T10:26:23+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-27T10:26:23+00:00

1cad7524b291fd7a6f77e01bb90e763e6b557620












kapi: fix driver registry locking
2026-07-26T22:08:49+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-26T22:08:49+00:00

12002c540c9de2342d829c5b073c65cfb4549b35












build: add tsan build
2026-07-26T20:13:52+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-26T20:13:52+00:00

705c98d47937d603e3ad569cc2ade12fa1df3677












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 a simple, tracked mutex
2026-07-26T18:33:10+00:00

Felix Morgner
felix.morgner@ost.ch

2026-07-26T18:33:10+00:00

cf500b301ee3f518ea391ea21e39853b7e7a37c8