Files
| Mode | Name | Size |
|---|---|---|
| 040000 | ../ | -- |
| 100644 | Makefile | 1.7 KiB |
| 100644 | efi-mixed.S | 6.0 KiB |
| 100644 | exports.h | 685 B |
| 100644 | gdt_idt.c | 2.1 KiB |
| 100644 | la57toggle.S | 2.9 KiB |
| 100644 | map_kernel.c | 6.5 KiB |
| 100644 | sev-shared.c | 21.0 KiB |
| 100644 | sev-startup.c | 5.6 KiB |
| 100644 | sme.c | 16.9 KiB |