Evan Green 6084b04a2f Change ## to // in assembly files. 7 years ago
..
acpi 7b779cae81 Missed a reboot fix for Raspberry Pi 2/3. 7 years ago
armv7 6084b04a2f Change ## to // in assembly files. 7 years ago
blobs 653147af49 Fix up build.ck files. 7 years ago
runtime 001d2b430f Refactor build to identify kernel files. 7 years ago
Makefile c6ca211cc7 Changes that shook out of trying -flto. 7 years ago
build.ck 001d2b430f Refactor build to identify kernel files. 7 years ago
debug.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
fwvol.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
intr.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
main.c cd5db0703d Add PWM initialization to RPi firmware. 7 years ago
memmap.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
ramdenum.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
rpi2fw.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
rpi2fwv.S 6084b04a2f Change ## to // in assembly files. 7 years ago
smbios.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 years ago
smp.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