Name Last modified Size Description
Parent Directory - Makefile 2024-10-02 08:25 5.5K acpi.c 2024-10-02 08:25 10K cmdline.c 2024-10-02 08:25 747 cpuflags.c 2024-10-02 08:25 146 early_serial_console.c 2024-10-02 08:25 80 efi_thunk_64.S 2024-10-02 08:25 3.4K error.c 2024-10-02 08:25 484 error.h 2024-10-02 08:25 223 head_32.S 2024-10-02 08:25 5.6K head_64.S 2024-10-02 08:25 26K ident_map_64.c 2024-10-02 08:25 10K idt_64.c 2024-10-02 08:25 1.6K idt_handlers_64.S 2024-10-02 08:25 1.3K kaslr.c 2024-10-02 08:25 23K kernel_info.S 2024-10-02 08:25 478 mem_encrypt.S 2024-10-02 08:25 4.8K misc.c 2024-10-02 08:25 12K misc.h 2024-10-02 08:25 4.1K mkpiggy.c 2024-10-02 08:25 1.6K pgtable.h 2024-10-02 08:25 495 pgtable_64.c 2024-10-02 08:25 6.1K sev.c 2024-10-02 08:25 4.6K string.c 2024-10-02 08:25 1.9K vmlinux.lds.S 2024-10-02 08:25 2.0K
All code served here is covered by free licences, one or more of GPL, LGPL, BSD and others.
For licence details get the complete tarball from the Download column of the GPL-Browser.