pub/teachos/kernel.git/arch/x86_64/pre/src/kernel/cpu/msr.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 






chore: reformat source code
2025-10-29T14:01:43+00:00

Felix Morgner
felix.morgner@ost.ch

2025-10-29T14:01:43+00:00

b157e2c472d8bd67ac1656404a6a6ee821260f4b












x86_64: move files out of the way
2025-07-24T16:35:34+00:00

Felix Morgner
felix.morgner@ost.ch

2025-07-24T16:35:34+00:00

2d3399ab6072acd85811a54fce8eff50628888b6