Open Menu / arch / x86 / boot / startup
Parent directory
Makefile 1745 bytes
efi-mixed.S 6184 bytes
exports.h 685 bytes
gdt_idt.c 2185 bytes
la57toggle.S 2991 bytes
map_kernel.c 6684 bytes
sev-shared.c 21553 bytes
sev-startup.c 5708 bytes
sme.c 17290 bytes