Linux Audio

Check our new training course

Open Menu / arch / x86 / boot / compressed
Loading...
Parent directory
Makefile 5322 bytes
acpi.c 7827 bytes
cmdline.c 805 bytes
cpuflags.c 184 bytes
early_serial_console.c 80 bytes
eboot.c 28195 bytes
eboot.h 670 bytes
efi.c 6147 bytes
efi.h 3037 bytes
efi_mixed.S 8422 bytes
efi_stub_32.S 2348 bytes
efi_stub_64.S 124 bytes
efi_thunk_64.S 3694 bytes
error.c 484 bytes
error.h 223 bytes
head_32.S 6277 bytes
head_64.S 16321 bytes
ident_map_64.c 11223 bytes
idt_64.c 2544 bytes
idt_handlers_64.S 1353 bytes
kaslr.c 21921 bytes
kaslr_64.c 4743 bytes
kernel_info.S 478 bytes
mem.c 2082 bytes
mem_encrypt.S 2439 bytes
misc.c 11421 bytes
misc.h 2902 bytes
mkpiggy.c 2080 bytes
pgtable.h 495 bytes
pgtable_64.c 4397 bytes
sev.c 16880 bytes
sev.h 492 bytes
string.c 1692 bytes
tdcall.S 75 bytes
tdx-shared.c 58 bytes
tdx.c 1451 bytes
tdx.h 281 bytes
vmlinux.lds.S 1216 bytes