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

Age	Commit message (Expand)	Author	Files	Lines
4 days	kapi: add device resources	Felix Morgner	4	-0/+630
4 days	kapi: fix driver registry locking	Felix Morgner	6	-13/+133
4 days	kapi/bus: extend stress tests	Felix Morgner	1	-2/+79
4 days	ci: fix junit reports directory	Felix Morgner	1	-2/+2
4 days	build: separate normal from stress tests	Felix Morgner	6	-19/+73
4 days	ide: adapt nesting patterns	Felix Morgner	1	-2/+2
4 days	kapi/bus: lock correct mutex	Felix Morgner	1	-1/+1
4 days	ci: disable coverage for tsan tests	Felix Morgner	1	-6/+18
4 days	build: ignore negative coverage counts	Felix Morgner	1	-1/+1
5 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
6 days	kapi: fix driver probing	Felix Morgner	2	-1/+6
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