Name | Size | Last Modified |
---|---|---|
Makefile | 1.7 KB | |
efi-mixed.S | 6.1 KB | |
exports.h | 685 bytes | |
gdt_idt.c | 2.1 KB | |
la57toggle.S | 2.9 KB | |
map_kernel.c | 6.6 KB | |
sev-shared.c | 21.5 KB | |
sev-startup.c | 5.7 KB | |
sme.c | 17.2 KB |
Name | Size | Last Modified |
---|---|---|
Makefile | 1.7 KB | |
efi-mixed.S | 6.1 KB | |
exports.h | 685 bytes | |
gdt_idt.c | 2.1 KB | |
la57toggle.S | 2.9 KB | |
map_kernel.c | 6.6 KB | |
sev-shared.c | 21.5 KB | |
sev-startup.c | 5.7 KB | |
sme.c | 17.2 KB |