diff options
| -rw-r--r-- | pkgs/top-level/platforms.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix index c331278046c..805fe4f3825 100644 --- a/pkgs/top-level/platforms.nix +++ b/pkgs/top-level/platforms.nix @@ -134,7 +134,7 @@ rec { raspberrypi = { name = "raspberrypi"; kernelMajor = "2.6"; - kernelHeadersBaseConfig = "kirkwood_defconfig"; + kernelHeadersBaseConfig = "bcm2835_defconfig"; kernelBaseConfig = "bcmrpi_defconfig"; kernelArch = "arm"; kernelAutoModules = false; |