From 75943b097172cdeae16c934471dafd28a9bf23aa Mon Sep 17 00:00:00 2001
From: Tyler Langlois <tjl@byu.net>
Date: Mon, 4 Nov 2024 22:25:49 -0700
Subject: [PATCH] linuxPackages.isgx: mark as broken for kernels >= 6.4

---
 pkgs/os-specific/linux/isgx/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pkgs/os-specific/linux/isgx/default.nix b/pkgs/os-specific/linux/isgx/default.nix
index c49a0a7b913d..73a373c1f789 100644
--- a/pkgs/os-specific/linux/isgx/default.nix
+++ b/pkgs/os-specific/linux/isgx/default.nix
@@ -41,5 +41,9 @@ stdenv.mkDerivation rec {
     license = with licenses; [ bsd3 /* OR */ gpl2Only ];
     maintainers = [ ];
     platforms = [ "x86_64-linux" ];
+    # This kernel module is now in mainline so newer kernels should
+    # use that rather than this out-of-tree version (officially
+    # deprecated by Intel)
+    broken = kernel.kernelAtLeast "6.4";
   };
 }