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

Age	Commit message (Collapse)	Author	Files	Lines
32 hours	kernel: allow reallocation of minor numbersHEAD develop	Felix Morgner	1	-0/+5

3 days	x86_64: split lapic according to UDM	Felix Morgner	6	-38/+5

3 days	x86_64: port PIT to devices resources	Felix Morgner	1	-1/+2

4 days	kapi: fix device resource lookup	Felix Morgner	2	-5/+321

4 days	kapi: add device resources	Felix Morgner	2	-0/+444

4 days	kapi: fix driver registry locking	Felix Morgner	4	-12/+125

4 days	kapi/bus: extend stress tests	Felix Morgner	1	-2/+79

4 days	kapi/bus: lock correct mutex	Felix Morgner	1	-1/+1

4 days	build: add tsan build	Felix Morgner	2	-5/+9

4 days	kapi/devices: implement locking discipline	Felix Morgner	4	-107/+233

4 days	kapi: add tracked mutex tests	Felix Morgner	2	-5/+79

4 days	kapi: implement a simple, tracked mutex	Felix Morgner	1	-0/+55

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

5 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

6 days	kapi: add two missing test cases	Felix Morgner	1	-2/+55

6 days	kernel: pull out driver initialization	Felix Morgner	1	-2/+0

6 days	kapi: move interface_id	Felix Morgner	1	-2/+2

6 days	kernel: move root bus	Felix Morgner	1	-3/+3

6 days	kernel: remove boot modules registry	Felix Morgner	3	-228/+39

6 days	kapi: rename interface to interface_id	Felix Morgner	7	-25/+25

6 days	kapi: rename boot_module to module	Felix Morgner	2	-3/+3

6 days	kapi: extract real boot module registry singleton	Felix Morgner	3	-42/+132

6 days	kapi: clean up directory names	Felix Morgner	1	-1/+1

6 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

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

7 days	kapi/device: remove init()	Felix Morgner	6	-67/+2

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

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

7 days	kapi: call device_attached when adding a child	Felix Morgner	1	-1/+5

7 days	kapi: add driver registry	Felix Morgner	4	-2/+186

7 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