Linux Audio

Check our new training course

Open Menu / arch / x86 / boot / compressed
Loading...
Parent directory
Makefile 6012 bytes
acpi.c 7799 bytes
aslr.c 7980 bytes
cmdline.c 755 bytes
cpuflags.c 146 bytes
early_serial_console.c 174 bytes
eboot.c 36245 bytes
eboot.h 2419 bytes
efi.c 6119 bytes
efi.h 3165 bytes
efi_mixed.S 7935 bytes
efi_stub_32.S 2309 bytes
efi_stub_64.S 540 bytes
error.c 804 bytes
error.h 281 bytes
head_32.S 4543 bytes
head_64.S 16931 bytes
ident_map_64.c 11232 bytes
idt_64.c 2544 bytes
idt_handlers_64.S 1353 bytes
kaslr.c 24269 bytes
kernel_info.S 478 bytes
mem.c 2082 bytes
mem_encrypt.S 7203 bytes
misc.c 13359 bytes
misc.h 6703 bytes
mkpiggy.c 1667 bytes
pgtable.h 458 bytes
pgtable_64.c 5931 bytes
sev.c 15680 bytes
sev.h 492 bytes
string.c 1951 bytes
tdcall.S 75 bytes
tdx-shared.c 58 bytes
tdx.c 1451 bytes
tdx.h 281 bytes
vmlinux.lds.S 2162 bytes