From 96edbe4a0eaf192d970172351a685c9b5585a7ce Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas@tuxera.com>
Date: Fri, 3 Nov 2017 15:50:19 +0200
Subject: [PATCH] linux_rpi: Specify defconfig in kernel expression

In particular, now the mainline kernel can be built on the RPi 1 as well
(so kernelBaseConfig should always be a mainline defconfig from now on).
And RPi 2 users can now use linux_rpi without doing the
`nixpkgs.config.platform = lib.systems.platforms.raspberrypi2;` dance.
---
 lib/systems/platforms.nix                   | 4 +---
 pkgs/os-specific/linux/kernel/linux-rpi.nix | 5 +++++
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index 32f055b6b1c..00b2b683db0 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -167,7 +167,7 @@ rec {
   raspberrypi = {
     name = "raspberrypi";
     kernelMajor = "2.6";
-    kernelBaseConfig = "bcmrpi_defconfig";
+    kernelBaseConfig = "bcm2835_defconfig";
     kernelDTB = true;
     kernelArch = "arm";
     kernelAutoModules = false;
@@ -254,8 +254,6 @@ rec {
 
   raspberrypi2 = armv7l-hf-multiplatform // {
     name = "raspberrypi2";
-    kernelBaseConfig = "bcm2709_defconfig";
-    kernelDTB = true;
     kernelAutoModules = false;
     kernelExtraConfig = ''
       BLK_DEV_RAM y
diff --git a/pkgs/os-specific/linux/kernel/linux-rpi.nix b/pkgs/os-specific/linux/kernel/linux-rpi.nix
index a96a910c68c..d8558324221 100644
--- a/pkgs/os-specific/linux/kernel/linux-rpi.nix
+++ b/pkgs/os-specific/linux/kernel/linux-rpi.nix
@@ -15,6 +15,11 @@ stdenv.lib.overrideDerivation (buildLinux (args // rec {
     sha256 = "19lb1gxz21x1d5zdznzqfq60kxg7iqmyl6l0mb9qg2vrl8fcgnxk";
   };
 
+  defconfig = {
+    "armv6l-linux" = "bcmrpi_defconfig";
+    "armv7l-linux" = "bcm2709_defconfig";
+  }.${stdenv.system} or (throw "linux_rpi not supported on '${stdenv.system}'");
+
   features = {
     efiBootStub = false;
   } // (args.features or {});