Linux Audio

Check our new training course

Linux BSP upgrade and security maintenance

Need help to get security updates for your Linux BSP?
Open Menu / arch / x86 / boot / compressed
Loading...
Parent directory
Makefile 5766 bytes
acpi.c 7827 bytes
cmdline.c 783 bytes
cpuflags.c 146 bytes
early_serial_console.c 174 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 4543 bytes
head_64.S 17099 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 14513 bytes
misc.h 6814 bytes
mkpiggy.c 1667 bytes
pgtable.h 458 bytes
pgtable_64.c 6018 bytes
sev.c 16880 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