Juan RP 141ead10af kernel-rpi: use upstream bcmrpi_defconfig. ... The upstream default configuration file for rpi is actively maintained and there's no point in duplicating stuff just for some options.		2013-09-14 06:18:50 +02:00
..
args-uncompressed.txt
boot-uncompressed.txt
imagetool-uncompressed.py