platforms.nix: Add some aarch64-specific kernel config

This makes Raspberry Pi 3 and some Cavium ThunderX server hardware work.
2017-01-25 02:14:46 +02:00
parent 3519244c72
commit 2bfd83ab6d
2 changed files with 27 additions and 2 deletions
@@ -45,7 +45,7 @@ with stdenv.lib;

  # Bump the maximum number of CPUs to support systems like EC2 x1.*
  # instances and Xeon Phi.
-  ${optionalString (stdenv.system == "x86_64-linux") ''
+  ${optionalString (stdenv.system == "x86_64-linux" || stdenv.system == "aarch64-linux") ''
    NR_CPUS 384
  ''}