From e06facb0ca739b8d4d99a344d2afb965dced2500 Mon Sep 17 00:00:00 2001
From: Alyssa Ross <hi@alyssa.is>
Date: Wed, 14 Jun 2023 14:38:09 +0000
Subject: [PATCH] linuxManualConfig: set badPlatforms

Older kernels shouldn't be marked as supporting architectures that
were only added to the kernel later.

(cherry picked from commit 2328a23b546c7fadff0612e702a96548feca73eb)
---
 pkgs/os-specific/linux/kernel/manual-config.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/manual-config.nix b/pkgs/os-specific/linux/kernel/manual-config.nix
index 980c754c9e50..7e20d69945e2 100644
--- a/pkgs/os-specific/linux/kernel/manual-config.nix
+++ b/pkgs/os-specific/linux/kernel/manual-config.nix
@@ -405,6 +405,9 @@ stdenv.mkDerivation ({
       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;
 } // optionalAttrs (pos != null) {