summary refs log tree commit diff
path: root/pkgs/top-level/platforms.nix
diff options
context:
space:
mode:
authorLluís Batlle i Rossell <viric@vicerveza.homeunix.net>2015-05-06 09:35:38 +0200
committerLluís Batlle i Rossell <viric@vicerveza.homeunix.net>2015-05-06 09:50:51 +0200
commit0c5be7164c0dacbef334bcc84d927c1890363584 (patch)
tree85631aabba1269654dcb22064807efddb5ab7d7c /pkgs/top-level/platforms.nix
parent0f2de4c64e451a82ff5b7cbef3fead5c1cb01120 (diff)
downloadnixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.tar
nixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.tar.gz
nixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.tar.bz2
nixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.tar.lz
nixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.tar.xz
nixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.tar.zst
nixpkgs-0c5be7164c0dacbef334bcc84d927c1890363584.zip
sheevaplug: fix kernel build.
I added platform.kernelMakeFlags. This allows setting the required
parameter to make the required kernel uImage for the sheevaplug,
since it became a platform with devicetree (3.10).

I have tried it with linux 3.18 and it built fine.
Diffstat (limited to 'pkgs/top-level/platforms.nix')
-rw-r--r--pkgs/top-level/platforms.nix4
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 8bdc4f77302..fc0fe23d4fb 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -25,7 +25,7 @@ rec {
     name = "sheevaplug";
     kernelMajor = "2.6";
     kernelHeadersBaseConfig = "kirkwood_defconfig";
-    kernelBaseConfig = "kirkwood_defconfig";
+    kernelBaseConfig = "multi_v5_defconfig";
     kernelArch = "arm";
     kernelAutoModules = false;
     kernelExtraConfig =
@@ -123,10 +123,12 @@ rec {
         KGDB_SERIAL_CONSOLE y
         KGDB_KDB y
       '';
+    kernelMakeFlags = [ "LOADADDR=0x0200000" ];
     kernelTarget = "uImage";
     uboot = "sheevaplug";
     # Only for uboot = uboot :
     ubootConfig = "sheevaplug_config";
+    kernelDTB = true; # Beyond 3.10
   };
 
   raspberrypi = {