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 |