Linux Audio

Check our new training course

Open Menu / arch / x86 / boot / compressed
Loading...
Parent directory
Makefile 2271 bytes
acpi.c 7827 bytes
cmdline.c 544 bytes
cpuflags.c 146 bytes
early_serial_console.c 80 bytes
efi.c 6147 bytes
efi.h 3037 bytes
efi_mixed.S 8422 bytes
error.c 804 bytes
error.h 281 bytes
head_32.S 4021 bytes
head_64.S 7685 bytes
ident_map_64.c 11223 bytes
idt_64.c 2544 bytes
idt_handlers_64.S 1353 bytes
kaslr.c 23706 bytes
kernel_info.S 478 bytes
mem.c 2082 bytes
mem_encrypt.S 7203 bytes
misc.c 9001 bytes
misc.h 978 bytes
mkpiggy.c 2833 bytes
pgtable.h 458 bytes
pgtable_64.c 6018 bytes
relocs.c 16713 bytes
sev.c 16880 bytes
sev.h 492 bytes
string.c 41 bytes
tdcall.S 75 bytes
tdx-shared.c 58 bytes
tdx.c 1451 bytes
tdx.h 281 bytes
vmlinux.lds.S 1122 bytes