Merge pull request #11047 from dezgeg/pr-raspi-kheaders-defconfig

platforms.nix: Use bcm2835_defconfig for RPi kernelHeadersBaseConfig
This commit is contained in:
viric 2015-11-16 12:57:10 +01:00
commit 2a7b5e9f30

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;