Name Last modified Size Description
Parent Directory - Makefile 2023-04-19 08:55 5.4K cmdline.c 2023-04-19 08:55 776 cpuflags.c 2023-04-19 08:55 148 early_serial_console.c 2023-04-19 08:55 80 eboot.c 2023-04-19 08:55 29K eboot.h 2023-04-19 08:55 631 efi_stub_32.S 2023-04-19 08:55 2.3K efi_stub_64.S 2023-04-19 08:55 124 efi_thunk_64.S 2023-04-19 08:55 3.6K error.c 2023-04-19 08:55 429 error.h 2023-04-19 08:55 184 head_32.S 2023-04-19 08:55 6.1K head_64.S 2023-04-19 08:55 10K kaslr.c 2023-04-19 08:55 14K misc.c 2023-04-19 08:55 11K misc.h 2023-04-19 08:55 2.6K mkpiggy.c 2023-04-19 08:55 2.0K pagetable.c 2023-04-19 08:55 4.0K string.c 2023-04-19 08:55 1.6K vmlinux.lds.S 2023-04-19 08:55 1.1K
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.