Name Last modified Size Description
Parent Directory -
Makefile 2018-05-28 02:26 3.2K
aslr.c 2018-05-28 02:26 8.3K
cmdline.c 2018-05-28 02:26 772
cpuflags.c 2018-05-28 02:26 148
early_serial_console.c 2018-05-28 02:26 80
eboot.c 2018-05-28 02:26 37K
eboot.h 2018-05-28 02:26 2.1K
efi_stub_32.S 2018-05-28 02:26 2.3K
efi_stub_64.S 2018-05-28 02:26 124
efi_thunk_64.S 2018-05-28 02:26 3.6K
head_32.S 2018-05-28 02:26 4.9K
head_64.S 2018-05-28 02:26 10K
misc.c 2018-05-28 02:26 11K
misc.h 2018-05-28 02:26 2.0K
mkpiggy.c 2018-05-28 02:26 2.8K
string.c 2018-05-28 02:26 720
vmlinux.lds.S 2018-05-28 02:26 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.