Use Linux 4.15 kernel headers for RISC-V support.

This commit is contained in:
Shea Levy 2018-02-18 00:12:40 -05:00
parent 3bec781288
commit 1d493f6171
No known key found for this signature in database
GPG Key ID: 5C0BD6957D86FE27

View File

@ -12942,7 +12942,7 @@ with pkgs;
inherit (callPackages ../os-specific/linux/kernel-headers { })
linuxHeaders_4_4 linuxHeaders_4_15;
linuxHeaders = if hostPlatform.isMusl then linuxHeaders_4_15 else linuxHeaders_4_4;
linuxHeaders = if hostPlatform.isMusl || hostPlatform.isRiscV then linuxHeaders_4_15 else linuxHeaders_4_4;
kernelPatches = callPackage ../os-specific/linux/kernel/patches.nix { };