pub/teachos/kernel.git - An educational OS kernel

Age	Commit message (Expand)	Author	Files	Lines
5 days	build: add tsan build	Felix Morgner	2	-5/+9
5 days	kapi/devices: implement locking discipline	Felix Morgner	4	-107/+233
5 days	kapi: add tracked mutex tests	Felix Morgner	2	-5/+79
5 days	kapi: implement a simple, tracked mutex	Felix Morgner	1	-0/+55
5 days	kernel: add devfs live-update tests	Felix Morgner	1	-0/+11
5 days	kapi: implement device removal	Felix Morgner	1	-6/+76
5 days	kapi/device: allow removing devices from busses	Felix Morgner	3	-2/+129
5 days	kapi: move protocol pointer to base bus	Felix Morgner	3	-33/+20
5 days	chore: minor cleanups after refactoring	Felix Morgner	2	-19/+17
5 days	chore: replace "interface" with "facet"	Felix Morgner	11	-333/+351
6 days	kapi: introduce the "bus" facet	Felix Morgner	1	-0/+10
6 days	kapi: introduce driver names	Felix Morgner	3	-5/+23
6 days	kernel: subscribe devfs to the number registry	Felix Morgner	1	-1/+8
6 days	kapi: fix driver probing	Felix Morgner	1	-1/+5
6 days	kapi: implement interface registry notifications	Felix Morgner	2	-9/+218
7 days	kapi: add two missing test cases	Felix Morgner	1	-2/+55
7 days	kernel: pull out driver initialization	Felix Morgner	1	-2/+0
7 days	kapi: move interface_id	Felix Morgner	1	-2/+2
7 days	kernel: move root bus	Felix Morgner	1	-3/+3
7 days	kernel: remove boot modules registry	Felix Morgner	3	-228/+39
7 days	kapi: rename interface to interface_id	Felix Morgner	7	-25/+25
7 days	kapi: rename boot_module to module	Felix Morgner	2	-3/+3
7 days	kapi: extract real boot module registry singleton	Felix Morgner	3	-42/+132
7 days	kapi: clean up directory names	Felix Morgner	1	-1/+1
7 days	kapi: formally extract device registry	Felix Morgner	7	-75/+124
7 days	kernel: restructure devices and drivers	Felix Morgner	1	-2/+2
7 days	kapi: fix interface registry tests	Felix Morgner	2	-4/+15
7 days	kapi: add driver stacking test	Felix Morgner	1	-0/+230
7 days	kapi: add driver registry tests	Felix Morgner	1	-0/+203
7 days	kapi/interrupts: add ISR context	Felix Morgner	1	-7/+12
7 days	kapi: generalize device interface resolution	Felix Morgner	3	-11/+37
7 days	kapi: add find overload to find composed interfaces	Felix Morgner	1	-0/+14
7 days	libs/mb2: fix boot module command line bug	Felix Morgner	1	-2/+1
7 days	kapi: let drivers choose their major number	Felix Morgner	3	-7/+12
8 days	kapi/device: remove init()	Felix Morgner	6	-67/+2
8 days	kernel: port ram disk to new driver architecture	Felix Morgner	1	-0/+102
8 days	x86_64: port legacy PIT driver to new architecture	Felix Morgner	1	-2/+2
8 days	kapi: call device_attached when adding a child	Felix Morgner	1	-1/+5
8 days	kapi: add driver registry	Felix Morgner	4	-2/+186
8 days	kapi: introduce driver and bus protocol	Felix Morgner	2	-0/+67
8 days	kapi: add device registry tests	Felix Morgner	1	-0/+76
8 days	kernel: add basic bus tests	Felix Morgner	1	-0/+104
8 days	kapi: bootstrap owning device tree	Felix Morgner	3	-31/+54
9 days	kapi: add test for resolving device node files	Felix Morgner	1	-0/+21
9 days	kapi: expose create_device_node	Felix Morgner	1	-0/+6
9 days	kapi/fs: implement status and raw_device	Felix Morgner	1	-0/+5
10 days	kapi: remove major number allocator	Felix Morgner	1	-9/+0
10 days	kapi/device: remove major and minor	Felix Morgner	5	-40/+21
2026-07-16	kernel: begin block device re-architecture work	Felix Morgner	3	-16/+15
2026-07-16	kapi: introduce device interfaces	Felix Morgner	4	-4/+330