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

Age	Commit message (Collapse)	Author	Files	Lines
12 days	kapi/fs: fix wrong test argument	Felix Morgner	1	-1/+1

12 days	kstd: enable formatting and decay for bytes	Felix Morgner	1	-18/+18

12 days	kstd: introduce basic offset type	Felix Morgner	4	-42/+26

12 days	kstd: flatten units namespace	Felix Morgner	44	-215/+201

12 days	kernel: fix test build issues	Felix Morgner	1	-2/+2

12 days	kstd: clean up units	Felix Morgner	4	-14/+13

13 days	kapi: implement seek support	Felix Morgner	4	-0/+84

13 days	kernel/ram_disk: predicate read size on buffer	Felix Morgner	1	-13/+8

13 days	chore: remove superfluous include	Felix Morgner	1	-1/+0

13 days	chore: replace expected by result	Felix Morgner	2	-8/+7

13 days	kapi: de-const read on block and char devices	Felix Morgner	5	-6/+5

13 days	kapi: port block_special_file to std::span	Felix Morgner	29	-294/+288

13 days	kernel: minor post-epic cleanups	Felix Morgner	2	-6/+2

13 days	kapi: add power management support to drivers	Felix Morgner	4	-0/+309

13 days	kstd: implement erase_if for flat map	Felix Morgner	2	-7/+4

14 days	build: don't predicate tests on general sanitizers	Felix Morgner	1	-4/+4

2026-08-01	kapi: add automatic driver registration	Felix Morgner	4	-7/+76

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	15	-9/+618

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

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

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

2026-07-29	kernel: improve minor number allocation	Felix Morgner	2	-11/+29

2026-07-28	chore: post refactoring cleanup	Felix Morgner	1	-6/+0

2026-07-28	x86_64: split lapic according to UDM	Felix Morgner	7	-39/+5

2026-07-27	x86_64: port PIT to devices resources	Felix Morgner	1	-1/+2

2026-07-27	kapi: fix device resource lookup	Felix Morgner	2	-5/+321

2026-07-27	kapi: add device resources	Felix Morgner	2	-0/+444

2026-07-27	kapi: fix driver registry locking	Felix Morgner	4	-12/+125

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

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

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

2026-07-26	build: add tsan build	Felix Morgner	3	-6/+10

2026-07-26	kapi/devices: implement locking discipline	Felix Morgner	10	-145/+308

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

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

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	kernel: add devfs live-update tests	Felix Morgner	2	-1/+63

2026-07-26	kapi: implement device removal	Felix Morgner	1	-6/+76

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

2026-07-26	kapi: move protocol pointer to base bus	Felix Morgner	5	-46/+21

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	3	-22/+18

2026-07-26	chore: replace "interface" with "facet"	Felix Morgner	27	-406/+428

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

2026-07-25	kapi: introduce driver names	Felix Morgner	7	-5/+39

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.