platforms.nix: Use bcm2835_defconfig for RPi kernelHeadersBaseConfig

kirkwood_defconfig was removed in the 3.17 kernel release, so
kernelHeadersBaseConfig needs to be changed in order to build
any Raspberry Pi stuff against linuxHeaders_3_18 (which has been the
default since the systemd 227 merge).
This commit is contained in:
Tuomas Tynkkynen 2015-11-15 22:08:02 +01:00
parent ee5f7d4c16
commit 6102398d46

View File

@ -134,7 +134,7 @@ rec {
raspberrypi = {
name = "raspberrypi";
kernelMajor = "2.6";
kernelHeadersBaseConfig = "kirkwood_defconfig";
kernelHeadersBaseConfig = "bcm2835_defconfig";
kernelBaseConfig = "bcmrpi_defconfig";
kernelArch = "arm";
kernelAutoModules = false;