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

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

2026-07-15	kapi/fs: normalize doc comments	Felix Morgner	1	-59/+48

2026-07-15	kapi/fs: use spans for byte ranges	Felix Morgner	1	-4/+3

2026-07-14	implement mkdir and create function in kapi::filesystem that calls the vfs ↵	Lukas Oesch	1	-0/+18
	and then the underlying filesystem
2026-07-13	kapi: extend panic formatting	Felix Morgner	1	-0/+44

2026-07-12	kapi: enforce stricter error handling	Felix Morgner	1	-12/+11

2026-07-12	kernel: integrate kstd system_error facility	Felix Morgner	1	-1/+3

2026-07-09	kstd: rename kstd header to include hpp	Felix Morgner	11	-18/+18

2026-05-25	Refactor ssize_t	Marcel Braun	1	-8/+8

2026-05-16	refactoring	Lukas Oesch	1	-6/+6