diff options
| author | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2015-05-06 09:35:38 +0200 |
|---|---|---|
| committer | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2015-05-06 09:50:51 +0200 |
| commit | 0c5be7164c0dacbef334bcc84d927c1890363584 (patch) | |
| tree | 85631aabba1269654dcb22064807efddb5ab7d7c /pkgs/top-level/platforms.nix | |
| parent | 0f2de4c64e451a82ff5b7cbef3fead5c1cb01120 (diff) | |
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.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix index 8bdc4f77302c..fc0fe23d4fb1 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 = { |