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

Age	Commit message (Collapse)	Author	Files	Lines
12 days	kstd: introduce basic offset type	Felix Morgner	2	-35/+22

12 days	kstd: flatten units namespace	Felix Morgner	19	-108/+101

12 days	kstd: clean up units	Felix Morgner	2	-8/+8

13 days	kapi: implement seek support	Felix Morgner	2	-0/+57

13 days	chore: replace expected by result	Felix Morgner	1	-1/+1

13 days	kapi: port block_special_file to std::span	Felix Morgner	20	-144/+170

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

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

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	1	-1/+20

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

2026-07-26	kapi/devices: implement locking discipline	Felix Morgner	2	-36/+55

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	1	-1/+52

2026-07-26	chore: replace "interface" with "facet"	Felix Morgner	6	-47/+45

2026-07-25	kernel: subscribe devfs to the number registry	Felix Morgner	3	-32/+49

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	kernel: make device number registry dynamic	Felix Morgner	2	-62/+168

2026-07-24	kapi: move interface_id	Felix Morgner	1	-2/+1

2026-07-24	kapi: rename block and character device	Felix Morgner	4	-6/+8

2026-07-24	kapi: move block and character device	Felix Morgner	4	-6/+8

2026-07-24	kapi: rename interface to interface_id	Felix Morgner	1	-1/+1

2026-07-24	kernel: restructure devices and drivers	Felix Morgner	1	-0/+8

2026-07-24	kernel: fix device number registry tests	Felix Morgner	1	-2/+2

2026-07-24	kapi: generalize device interface resolution	Felix Morgner	1	-22/+2

2026-07-24	kapi: add find overload to find composed interfaces	Felix Morgner	1	-2/+22

2026-07-24	kernel: generalize test fix	Felix Morgner	2	-52/+60

2026-07-24	kernel: fix device inode tests	Felix Morgner	1	-0/+20

2026-07-24	kernel: fix device number registry tests	Felix Morgner	1	-4/+44

2026-07-24	kernel/devfs: re-key devfs storage	Felix Morgner	3	-17/+11

2026-07-24	kapi: let drivers choose their major number	Felix Morgner	2	-14/+57

2026-07-23	kerne: attach storage hierarchy to device tree	Felix Morgner	2	-6/+6

2026-07-22	kernel/vfs: fix device node resolution	Felix Morgner	2	-21/+26

2026-07-22	kernel/vfs: fix vfs dentry cache consistency	Felix Morgner	1	-1/+1

2026-07-22	kernel/vfs: implement persistent device nodes	Felix Morgner	6	-1/+210

2026-07-22	kernel/fs: add missing unit tests	Felix Morgner	4	-0/+75

2026-07-22	kernel: remove unused include	Felix Morgner	1	-1/+0

2026-07-22	kapi/fs: implement status and raw_device	Felix Morgner	9	-0/+186

2026-07-22	kernel: move device_number to kapi	Felix Morgner	12	-53/+39

2026-07-22	kernel: improve support for raw device files	Felix Morgner	17	-105/+135

2026-07-21	kapi/device: remove major and minor	Felix Morgner	4	-16/+16

2026-07-21	kernel/devfs: populate devfs via the device_number_registry	Felix Morgner	1	-3/+3

2026-07-21	kernel/devfs: always perform a full repopulation	Felix Morgner	2	-9/+1

2026-07-17	kernel: introduce device_number abstraction	Felix Morgner	7	-0/+369

2026-07-16	chore: move system error implementation out of line	Felix Morgner	5	-175/+197

2026-07-16	kernel: handle non-block devices more gracefully	Felix Morgner	3	-17/+24

2026-07-16	kernel/devfs: fetch devices from interface registry	Felix Morgner	1	-6/+8

2026-07-16	kernel: dissolve block device in favour of kapi	Felix Morgner	1	-2/+2

2026-07-16	kernel: begin block device re-architecture work	Felix Morgner	21	-285/+343