From f0119d67e47a75b4579ae707cebeec66f34de80b Mon Sep 17 00:00:00 2001
From: Tyler Langlois <tjl@byu.net>
Date: Tue, 5 Nov 2024 10:31:28 -0700
Subject: [PATCH] kernelPackages.ivsc-driver: mark as broken on kernels >= 6.9

---
 pkgs/os-specific/linux/ivsc-driver/default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/ivsc-driver/default.nix b/pkgs/os-specific/linux/ivsc-driver/default.nix
index d9fa513ede87..65733d99a659 100644
--- a/pkgs/os-specific/linux/ivsc-driver/default.nix
+++ b/pkgs/os-specific/linux/ivsc-driver/default.nix
@@ -38,6 +38,8 @@ stdenv.mkDerivation {
     license = lib.licenses.gpl2Only;
     maintainers = [ ];
     platforms = [ "x86_64-linux" ];
-    broken = kernel.kernelOlder "5.15";
+    # This module is in mainline now and upstream suggests using that
+    # with recent kernels rather than the out-of-tree module.
+    broken = kernel.kernelOlder "5.15" || kernel.kernelAtLeast "6.9";
   };
 }