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

Age	Commit message (Collapse)	Author	Files	Lines
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
	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.
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

8 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

2026-07-15	kapi/devices: clean up some names	Felix Morgner	1	-3/+2

2026-07-15	kapi: rename bus::probe to enumerate	Felix Morgner	1	-3/+3

2026-07-15	kernel/cpu: introduce core index number	Felix Morgner	1	-1/+8

2026-07-15	kernel: rework ramdisk numbering	Felix Morgner	1	-5/+5