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

Age	Commit message (Expand)	Author	Files	Lines
28 hours	kernel: allow reallocation of minor numbersHEAD develop	Felix Morgner	1	-0/+5
3 days	x86_64: split lapic according to UDM	Felix Morgner	3	-42/+10
3 days	x86_64: port PIT to devices resources	Felix Morgner	2	-0/+3
3 days	kapi: fix device resources	Felix Morgner	1	-19/+46
3 days	kapi: fix device resource lookup	Felix Morgner	1	-2/+51
4 days	kapi: add device resources	Felix Morgner	2	-0/+186
4 days	kapi: fix driver registry locking	Felix Morgner	2	-1/+8
4 days	build: add tsan build	Felix Morgner	1	-3/+1
4 days	kapi/devices: implement locking discipline	Felix Morgner	3	-0/+9
4 days	kapi: implement a simple, tracked mutex	Felix Morgner	2	-0/+74
4 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
5 days	kapi: introduce driver names	Felix Morgner	1	-0/+6
5 days	kapi: fix driver probing	Felix Morgner	1	-0/+1
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
6 days	kapi: clean up directory names	Felix Morgner	4	-12/+14
6 days	kapi: formally extract device registry	Felix Morgner	4	-47/+62
6 days	kernel: restructure devices and drivers	Felix Morgner	3	-3/+4
6 days	x86_64: split files for devices and drivers	Felix Morgner	1	-0/+3
6 days	kapi: fix device pretty printer	Felix Morgner	1	-1/+4
6 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
8 days	kapi: expose create_device_node	Felix Morgner	1	-0/+8
8 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