Evan Green c7792acdf5 Remove time zone support from the kernel. 7 years ago
..
armv6 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
armv7 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
boot 4c142b06f2 Add GPLv3 license banner to Makefiles. 8 years ago
x86 6c8de6085d Preserve delivery mode of APIC LVTs on initialize. 8 years ago
Makefile 4c142b06f2 Add GPLv3 license banner to Makefiles. 8 years ago
build.ck 960e71ab77 Got lib and kernel building in the new mingen. 7 years ago
cache.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
cache.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
calendar.c c7792acdf5 Remove time zone support from the kernel. 7 years ago
calendar.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
clock.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
clock.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
dbgdev.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
dbgdev.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
efi.c 7cd7770541 Fix Raspberry Pi UEFI time functions to fail. 8 years ago
efi.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
hlp.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
hmodapi.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
info.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
init.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
intlevel.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
intrupt.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
intrupt.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
ipi.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
ns16550.c 6b0fd31217 Rearrange 16550 code a bit for debugging purposes. 8 years ago
profiler.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
profiler.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
reset.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
suspend.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
timer.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
timer.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago