pub/teachos/kernel.git/arch/x86_64/kapi/system.cpp, branch develop
An educational OS kernel
x86_64/cpu: port GDT reload procedure
2026-01-16T16:39:23+00:00
Felix Morgner
felix.morgner@ost.ch
2026-01-16T16:39:23+00:00
7ba274d0838e5cd4e48e85f81557bbb837ed4349
kapi/system: introduce memory_initialized hook
2026-01-16T12:55:51+00:00
Felix Morgner
felix.morgner@ost.ch
2026-01-16T12:55:51+00:00
159bdd2cac3f967c31c2f416fbc542e0277ec860