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

Age	Commit message (Collapse)	Author	Files	Lines
2026-08-11	kstd: add more flat_map ctors and move iterator implementation	Felix Morgner	3	-219/+352

2026-08-01	kapi: add automatic driver registration	Felix Morgner	12	-51/+184

2026-07-30	kernel/devices: add some documentation	Felix Morgner	1	-0/+5

2026-07-30	kernel/devices: generalize pseudo signature	Felix Morgner	2	-31/+22

2026-07-30	kernel: implement dev zero and null	Felix Morgner	16	-9/+622

2026-07-30	kernel: add support for character devices	Felix Morgner	5	-5/+30

2026-07-30	kerne/fs: add more reserved numbers	Felix Morgner	1	-0/+15

2026-07-30	ci: extend build stage artifacts lifetime	Felix Morgner	1	-1/+1

2026-07-29	kernel: allow reallocation of minor numbers	Felix Morgner	3	-1/+30

2026-07-29	x86_64: fix use-before-init in cpu bus init	Felix Morgner	1	-3/+3

2026-07-29	kernel: improve minor number allocation	Felix Morgner	4	-14/+32

2026-07-28	x86_64: move cpu related drivers	Felix Morgner	3	-5/+5

2026-07-28	chore: post refactoring cleanup	Felix Morgner	8	-19/+15

2026-07-28	x86_64: split lapic according to UDM	Felix Morgner	29	-313/+604

2026-07-27	x86_64: port PIT to devices resources	Felix Morgner	7	-13/+88

2026-07-27	kapi: fix device resources	Felix Morgner	1	-19/+46

2026-07-27	kapi: fix device resource lookup	Felix Morgner	3	-7/+372

2026-07-27	kapi: add device resources	Felix Morgner	4	-0/+630

2026-07-27	kapi: fix driver registry locking	Felix Morgner	6	-13/+133

2026-07-26	kapi/bus: extend stress tests	Felix Morgner	1	-2/+79

2026-07-26	ci: fix junit reports directory	Felix Morgner	1	-2/+2

2026-07-26	build: separate normal from stress tests	Felix Morgner	6	-19/+73

2026-07-26	ide: adapt nesting patterns	Felix Morgner	1	-2/+2

2026-07-26	kapi/bus: lock correct mutex	Felix Morgner	1	-1/+1

2026-07-26	ci: disable coverage for tsan tests	Felix Morgner	1	-6/+18

2026-07-26	build: ignore negative coverage counts	Felix Morgner	1	-1/+1

2026-07-26	ci: enable halt_on_error for TSan	Felix Morgner	1	-1/+1

2026-07-26	ci: fix job dependencies	Felix Morgner	1	-1/+5

2026-07-26	kstd: fix weak_this race in shared_ptr	Felix Morgner	1	-3/+1

2026-07-26	ci: add tsan jobs	Felix Morgner	1	-9/+14

2026-07-26	build: add tsan build	Felix Morgner	8	-12/+44

2026-07-26	kapi/devices: implement locking discipline	Felix Morgner	15	-147/+320

2026-07-26	kapi: add tracked mutex tests	Felix Morgner	2	-5/+79

2026-07-26	kapi: implement a simple, tracked mutex	Felix Morgner	6	-0/+143

2026-07-26	kstd: split mutex header	Felix Morgner	7	-99/+125

2026-07-26	kernel: add missing ofd test	Felix Morgner	1	-0/+14

2026-07-26	kernel: fail early on removed device I/O	Felix Morgner	2	-0/+70

2026-07-26	kstd: remove platform dependent asm	Felix Morgner	1	-3/+1

2026-07-26	kernel: add devfs live-update tests	Felix Morgner	3	-1/+69

2026-07-26	kapi: implement device removal	Felix Morgner	2	-6/+106

2026-07-26	kapi/device: allow removing devices from busses	Felix Morgner	4	-2/+140

2026-07-26	kapi: move protocol pointer to base bus	Felix Morgner	9	-63/+34

2026-07-26	kernel/bus: fix return type in boot_modules_protocol	Felix Morgner	1	-1/+2

2026-07-26	chore: minor cleanups after refactoring	Felix Morgner	5	-31/+20

2026-07-26	chore: replace "interface" with "facet"	Felix Morgner	49	-882/+893

2026-07-25	kapi: introduce the "bus" facet	Felix Morgner	2	-0/+21

2026-07-25	kapi/devices: improve documentation	Felix Morgner	1	-14/+50

2026-07-25	kapi: introduce driver names	Felix Morgner	10	-5/+52

2026-07-25	kernel: subscribe devfs to the number registry	Felix Morgner	4	-33/+57

2026-07-25	kernel: bootstrap device_number_registry	Felix Morgner	2	-37/+54
	Previously, the device number registry would only receive devices from the interface registry that where published after the device number registry was constructed. This introduced a subtle state race, in which the device number registry would miss devices that already had published interfaces.