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

Age	Commit message (Collapse)	Author	Files	Lines
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.
2026-07-25	kapi: fix driver probing	Felix Morgner	1	-1/+5
	Previously, a driver was only bound after probing was successful. However, if the probing itself relies (directly or indirectly) on the device having a bound driver, probing fails. This patchset introduces a new device state to mark that we are currently probing and thus the bound driver is not yet definitively bound to the device. This allows us to bind early, without violating the perceived device state.