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/+6

5 days	kapi: implement device removal	Felix Morgner	1	-0/+30

5 days	kapi/device: allow removing devices from busses	Felix Morgner	1	-0/+11

5 days	kapi: move protocol pointer to base bus	Felix Morgner	2	-3/+12

5 days	chore: minor cleanups after refactoring	Felix Morgner	1	-5/+0

5 days	chore: replace "interface" with "facet"	Felix Morgner	16	-457/+438

5 days	kapi: introduce the "bus" facet	Felix Morgner	1	-0/+11

5 days	kapi/devices: improve documentation	Felix Morgner	1	-14/+50

6 days	kapi: introduce driver names	Felix Morgner	1	-0/+6

6 days	kapi: fix driver probing	Felix Morgner	1	-0/+1
	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	1	-5/+140

6 days	chore: minor cleanups	Felix Morgner	2	-5/+5

6 days	kapi: fix missing member implementation	Felix Morgner	1	-1/+4

6 days	kapi: move interface_id	Felix Morgner	7	-27/+58

6 days	kapi: rename block and character device	Felix Morgner	3	-13/+13

6 days	kapi: move block and character device	Felix Morgner	4	-17/+17

6 days	kernel: remove boot modules registry	Felix Morgner	6	-178/+81

6 days	kapi: rename interface to interface_id	Felix Morgner	8	-27/+27

6 days	kapi: rename boot_module to module	Felix Morgner	4	-14/+14

6 days	kapi: extract real boot module registry singleton	Felix Morgner	5	-127/+99

7 days	kapi: clean up directory names	Felix Morgner	4	-12/+14

7 days	kapi: formally extract device registry	Felix Morgner	4	-47/+62

7 days	kernel: restructure devices and drivers	Felix Morgner	3	-3/+4

7 days	x86_64: split files for devices and drivers	Felix Morgner	1	-0/+3

7 days	kapi: fix device pretty printer	Felix Morgner	1	-1/+4

7 days	kapi: add driver stacking test	Felix Morgner	1	-0/+1

7 days	kapi/interrupts: add ISR context	Felix Morgner	1	-2/+6

7 days	kapi: generalize device interface resolution	Felix Morgner	2	-17/+30

7 days	kapi: add find overload to find composed interfaces	Felix Morgner	1	-0/+7

7 days	kapi: let drivers choose their major number	Felix Morgner	3	-3/+8

7 days	kapi/device: remove init()	Felix Morgner	3	-22/+0

7 days	kernel: port ram disk to new driver architecture	Felix Morgner	1	-0/+71

7 days	x86_64: port legacy PIT driver to new architecture	Felix Morgner	2	-1/+11

7 days	kapi: add driver registry	Felix Morgner	5	-0/+90

7 days	kapi: introduce driver and bus protocol	Felix Morgner	4	-0/+162

8 days	kernel/dev: add basic ram disk controller tests	Felix Morgner	3	-0/+5

8 days	kapi: bootstrap owning device tree	Felix Morgner	4	-12/+17

9 days	kapi: expose create_device_node	Felix Morgner	1	-0/+8

9 days	kapi/fs: implement status and raw_device	Felix Morgner	1	-0/+6

9 days	kapi/fs: add file status and type types.	Felix Morgner	3	-0/+74

9 days	kernel: move device_number to kapi	Felix Morgner	2	-0/+27

10 days	kapi: remove major number allocator	Felix Morgner	4	-12/+4

10 days	kapi/device: remove major and minor	Felix Morgner	4	-37/+5

11 days	kstd: move bitfiled_enum header	Felix Morgner	1	-3/+3

2026-07-16	kapi: add character device capability	Felix Morgner	3	-2/+42

2026-07-16	kernel: begin block device re-architecture work	Felix Morgner	4	-8/+56

2026-07-16	kapi: introduce device interfaces	Felix Morgner	5	-4/+250

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

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

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