wash dbe117135b x86_64: implement proper user/kernel %gs base switching
the %gs base address is now always set to the current cpu block while
in kernel-mode, and is switched back to the userspace %gs base
when returning to user-mode.
2026-02-23 18:26:21 +00:00
2026-02-19 19:21:15 +00:00
2026-02-03 21:28:15 +00:00
2023-05-07 12:37:21 +01:00
2023-01-31 13:11:53 +00:00
2024-11-02 11:31:51 +00:00
S
Description
Microkernel
Readme BSD-3-Clause 2.2 MiB
Languages
C 91.9%
Python 3.4%
Assembly 3.3%
CMake 0.8%
Linker Script 0.3%
Other 0.3%