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