Juan RP 3d5960f8e4 kernel-rpi: renamed to rpi-kernel to follow platform naming rules.		2014-01-23 12:55:39 +01:00
..
args-uncompressed.txt	kernel-rpi: renamed to rpi-kernel to follow platform naming rules.	2014-01-23 12:55:39 +01:00
boot-uncompressed.txt	kernel-rpi: renamed to rpi-kernel to follow platform naming rules.	2014-01-23 12:55:39 +01:00
imagetool-uncompressed.py	kernel-rpi: renamed to rpi-kernel to follow platform naming rules.	2014-01-23 12:55:39 +01:00