Name | Size | Last Modified |
---|---|---|
Makefile | 5.9 KB | |
acpi.c | 7.8 KB | |
cmdline.c | 783 bytes | |
cpuflags.c | 146 bytes | |
early_serial_console.c | 174 bytes | |
efi.c | 6.1 KB | |
efi.h | 3 KB | |
error.c | 804 bytes | |
error.h | 281 bytes | |
head_32.S | 4.5 KB | |
head_64.S | 14.1 KB | |
ident_map_64.c | 11.2 KB | |
idt_64.c | 2.5 KB | |
idt_handlers_64.S | 1.3 KB | |
kaslr.c | 24.8 KB | |
kernel_info.S | 478 bytes | |
mem.c | 2 KB | |
mem_encrypt.S | 7.2 KB | |
misc.c | 14.1 KB | |
misc.h | 7 KB | |
mkpiggy.c | 1.6 KB | |
pgtable_64.c | 5.7 KB | |
sbat.S | 161 bytes | |
sev-handle-vc.c | 2.7 KB | |
sev.c | 14.5 KB | |
sev.h | 842 bytes | |
string.c | 1.9 KB | |
tdcall.S | 75 bytes | |
tdx-shared.c | 58 bytes | |
tdx.c | 1.4 KB | |
tdx.h | 281 bytes | |
vmlinux.lds.S | 2.2 KB |