diff options
author | Artturi <Artturin@artturin.com> | 2023-08-28 22:37:08 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-28 22:37:08 +0300 |
commit | a5bf2567cb478fa1e2209e3589b413c1ac5c64e5 (patch) | |
tree | a3f227d25051c38a95f9ff12ea4a894554c44326 | |
parent | 974a40b58e20fa3f38fe5d32476652af277cecde (diff) | |
parent | 46383fc82bb6c7b2442889422ed62e3cafdb0161 (diff) | |
download | nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.tar nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.tar.gz nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.tar.bz2 nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.tar.lz nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.tar.xz nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.tar.zst nixpkgs-a5bf2567cb478fa1e2209e3589b413c1ac5c64e5.zip |
Merge pull request #245963 from amjoseph-nixpkgs/pr/linux/kernel/repick
-rw-r--r-- | pkgs/os-specific/linux/kernel/manual-config.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/os-specific/linux/kernel/manual-config.nix b/pkgs/os-specific/linux/kernel/manual-config.nix index 61013ef090a..8dd92c99db4 100644 --- a/pkgs/os-specific/linux/kernel/manual-config.nix +++ b/pkgs/os-specific/linux/kernel/manual-config.nix @@ -352,6 +352,9 @@ let maintainers.thoughtpolice ]; platforms = platforms.linux; + badPlatforms = + lib.optionals (lib.versionOlder version "4.15") [ "riscv32-linux" "riscv64-linux" ] ++ + lib.optional (lib.versionOlder version "5.19") "loongarch64-linux"; timeout = 14400; # 4 hours } // extraMeta; }; |