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

Age	Commit message (Collapse)	Author	Files	Lines
10 days	chore: replace some naked pointers	Felix Morgner	1	-3/+3
	The coding guidelines explicitly prohibit the use of "naked"/C-style pointers. However, there were some prominent examples in the kapi and the core kernel source. This changeset replaces them with the appropriate smart pointer types.
2026-08-29	chore: apply stylistic cleanups	Felix Morgner	1	-1/+1

2026-07-28	x86_64: split lapic according to UDM	Felix Morgner	1	-0/+1

2026-07-26	kapi/bus: lock correct mutex	Felix Morgner	1	-1/+1

2026-07-26	build: add tsan build	Felix Morgner	1	-4/+8

2026-07-26	kapi/devices: implement locking discipline	Felix Morgner	1	-17/+21

2026-07-26	kapi/device: allow removing devices from busses	Felix Morgner	1	-0/+66

2026-07-26	kapi: move protocol pointer to base bus	Felix Morgner	1	-0/+10

2026-07-26	chore: replace "interface" with "facet"	Felix Morgner	1	-8/+3

2026-07-25	kapi: introduce the "bus" facet	Felix Morgner	1	-0/+10

2026-07-24	kapi: formally extract device registry	Felix Morgner	1	-1/+1

2026-07-24	kapi/device: remove init()	Felix Morgner	1	-40/+0

2026-07-23	x86_64: port legacy PIT driver to new architecture	Felix Morgner	1	-2/+2

2026-07-23	kapi: call device_attached when adding a child	Felix Morgner	1	-1/+5

2026-07-23	kapi: add driver registry	Felix Morgner	1	-0/+5

2026-07-23	kapi: bootstrap owning device tree	Felix Morgner	1	-9/+11

2026-07-21	kapi/device: remove major and minor	Felix Morgner	1	-6/+8

2026-07-15	kapi: rename bus::probe to enumerate	Felix Morgner	1	-3/+3

2026-07-09	kstd: rename kstd header to include hpp	Felix Morgner	1	-4/+4

2026-04-23	chore: banish relative includes	Felix Morgner	1	-3/+3

2026-04-10	kapi/devices: add parent back-pointer to device	Felix Morgner	1	-0/+1

2026-04-08	kapi/bus: fix eager initialization	Felix Morgner	1	-2/+8

2026-04-06	kapi: extract more code to the kernel	Felix Morgner	1	-0/+65