Files
buildroot/configs
Bernd Kuhls 72b32d5197 configs: bump kernel used for the RPi
The rpi-3.12.y branch has now been merged with the 3.12.25 upstream.

Bump kernel headers used for the toolchain at the same time.

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
2014-08-03 10:21:16 +02:00
..
2014-07-07 07:55:02 +02:00