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

Age	Commit message (Expand)	Author	Files	Lines
5 days	kernel/bus: fix return type in boot_modules_protocol	Felix Morgner	1	-1/+2
5 days	chore: minor cleanups after refactoring	Felix Morgner	3	-22/+18
5 days	chore: replace "interface" with "facet"	Felix Morgner	27	-406/+428
5 days	kapi: introduce the "bus" facet	Felix Morgner	1	-0/+10
6 days	kapi: introduce driver names	Felix Morgner	7	-5/+39
6 days	kernel: subscribe devfs to the number registry	Felix Morgner	4	-33/+57
6 days	kernel: bootstrap device_number_registry	Felix Morgner	2	-37/+54
6 days	kapi: fix driver probing	Felix Morgner	1	-1/+5
6 days	kernel: make device number registry dynamic	Felix Morgner	2	-62/+168
6 days	kapi: implement interface registry notifications	Felix Morgner	3	-10/+219
6 days	kapi: add two missing test cases	Felix Morgner	1	-2/+55
6 days	chore: hide protocol implementations	Felix Morgner	2	-35/+40
6 days	chore: minor cleanups	Felix Morgner	2	-6/+5
6 days	kernel: pull out driver initialization	Felix Morgner	3	-5/+7
6 days	kapi: move interface_id	Felix Morgner	2	-4/+3
6 days	kapi: rename block and character device	Felix Morgner	12	-32/+35
6 days	kapi: move block and character device	Felix Morgner	12	-35/+46
6 days	kernel: move root bus	Felix Morgner	6	-32/+32
6 days	kernel: remove boot modules registry	Felix Morgner	16	-298/+188
6 days	kapi: rename interface to interface_id	Felix Morgner	12	-30/+30
6 days	kapi: rename boot_module to module	Felix Morgner	3	-5/+5
6 days	kapi: extract real boot module registry singleton	Felix Morgner	10	-77/+158
6 days	kapi: clean up directory names	Felix Morgner	5	-8/+2
6 days	kapi: formally extract device registry	Felix Morgner	8	-75/+125
7 days	kernel: restructure devices and drivers	Felix Morgner	11	-37/+88
7 days	x86_64: split files for devices and drivers	Felix Morgner	1	-0/+3
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	kernel: fix device number registry tests	Felix Morgner	1	-2/+2
7 days	kapi: generalize device interface resolution	Felix Morgner	4	-33/+39
7 days	kapi: add find overload to find composed interfaces	Felix Morgner	2	-2/+36
7 days	kernel: generalize test fix	Felix Morgner	5	-52/+134
7 days	kernel: fix device inode tests	Felix Morgner	1	-0/+20
7 days	kernel: fix device number registry tests	Felix Morgner	1	-4/+44
7 days	kernel: fix boot module based tests	Felix Morgner	2	-8/+11
7 days	kernel/devfs: re-key devfs storage	Felix Morgner	3	-17/+11
7 days	kernel/rd: fix device numbering	Felix Morgner	2	-6/+8
7 days	libs/mb2: fix boot module command line bug	Felix Morgner	1	-2/+1
7 days	kapi: let drivers choose their major number	Felix Morgner	6	-22/+70
7 days	kapi/device: remove init()	Felix Morgner	13	-94/+25
7 days	kernel: port ram disk to new driver architecture	Felix Morgner	11	-428/+304
7 days	x86_64: port legacy PIT driver to new architecture	Felix Morgner	3	-4/+4
7 days	kapi: call device_attached when adding a child	Felix Morgner	1	-1/+5
7 days	kapi: add driver registry	Felix Morgner	5	-2/+187
7 days	kapi: introduce driver and bus protocol	Felix Morgner	3	-0/+69
8 days	kernel/devices: add storage tests	Felix Morgner	1	-0/+48
8 days	kernel/dev: add basic ram disk controller tests	Felix Morgner	1	-0/+82
8 days	kerne: attach storage hierarchy to device tree	Felix Morgner	16	-295/+100