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

Age	Commit message (Collapse)	Author	Files	Lines
4 days	build: ignore negative coverage counts	Felix Morgner	1	-1/+1

4 days	ci: enable halt_on_error for TSan	Felix Morgner	1	-1/+1

5 days	ci: fix job dependencies	Felix Morgner	1	-1/+5

5 days	kstd: fix weak_this race in shared_ptr	Felix Morgner	1	-3/+1

5 days	ci: add tsan jobs	Felix Morgner	1	-9/+14

5 days	build: add tsan build	Felix Morgner	8	-12/+44

5 days	kapi/devices: implement locking discipline	Felix Morgner	15	-147/+320

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

5 days	kapi: implement a simple, tracked mutex	Felix Morgner	6	-0/+143

5 days	kstd: split mutex header	Felix Morgner	7	-99/+125

5 days	kernel: add missing ofd test	Felix Morgner	1	-0/+14

5 days	kernel: fail early on removed device I/O	Felix Morgner	2	-0/+70

5 days	kstd: remove platform dependent asm	Felix Morgner	1	-3/+1

5 days	kernel: add devfs live-update tests	Felix Morgner	3	-1/+69

5 days	kapi: implement device removal	Felix Morgner	2	-6/+106

5 days	kapi/device: allow removing devices from busses	Felix Morgner	4	-2/+140

5 days	kapi: move protocol pointer to base bus	Felix Morgner	9	-63/+34

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	5	-31/+20

5 days	chore: replace "interface" with "facet"	Felix Morgner	49	-882/+893

5 days	kapi: introduce the "bus" facet	Felix Morgner	2	-0/+21

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

6 days	kapi: introduce driver names	Felix Morgner	10	-5/+52

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
	Previously, the device number registry would only receive devices from the interface registry that where published after the device number registry was constructed. This introduced a subtle state race, in which the device number registry would miss devices that already had published interfaces.
6 days	kapi: fix driver probing	Felix Morgner	2	-1/+6
	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	kernel: make device number registry dynamic	Felix Morgner	2	-62/+168

6 days	kapi: implement interface registry notifications	Felix Morgner	4	-15/+359

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

6 days	chore: hide protocol implementations	Felix Morgner	4	-69/+74

6 days	chore: minor cleanups	Felix Morgner	4	-11/+10

6 days	kernel: pull out driver initialization	Felix Morgner	3	-5/+7

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

6 days	kapi: move interface_id	Felix Morgner	9	-31/+61

6 days	kapi: rename block and character device	Felix Morgner	15	-45/+48

6 days	kapi: move block and character device	Felix Morgner	16	-52/+63

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

6 days	kernel: remove boot modules registry	Felix Morgner	23	-485/+283

7 days	x86_64: clean up isa drivers	Felix Morgner	6	-18/+29

7 days	kapi: rename interface to interface_id	Felix Morgner	26	-64/+63

7 days	kapi: rename boot_module to module	Felix Morgner	8	-22/+21

7 days	kapi: extract real boot module registry singleton	Felix Morgner	16	-222/+261

7 days	kapi: clean up directory names	Felix Morgner	10	-22/+18

7 days	kapi: formally extract device registry	Felix Morgner	12	-122/+187

7 days	kernel: restructure devices and drivers	Felix Morgner	15	-40/+93

7 days	x86_64: split files for devices and drivers	Felix Morgner	13	-106/+185

7 days	kapi: fix interface registry tests	Felix Morgner	2	-4/+15

7 days	kstd: fix smart pointer pretty printers	Felix Morgner	1	-4/+30

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

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