From 250bd96f08ba3111c32dfcbcc5ad89903a668faa Mon Sep 17 00:00:00 2001
From: Jack O'Sullivan <jackos1998@gmail.com>
Date: Wed, 1 Feb 2023 13:11:49 +0000
Subject: [PATCH] nixos/tower: Update to kernel 6.1

---
 nixos/boxes/tower/default.nix | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

diff --git a/nixos/boxes/tower/default.nix b/nixos/boxes/tower/default.nix
index 236734b..6886ec0 100644
--- a/nixos/boxes/tower/default.nix
+++ b/nixos/boxes/tower/default.nix
@@ -25,19 +25,7 @@
             efi.canTouchEfiVariables = true;
             timeout = 10;
           };
-          kernelPackages = pkgs.linuxKernel.packages.linux_5_19.extend (self: super: {
-            # Intel DRM driver is borked in 5.19.12, which is where nixos-unstable is right now
-            kernel = super.kernel.override {
-              argsOverride = rec {
-                version = "5.19.14";
-                modDirVersion = version;
-                src = pkgs.fetchurl {
-                  url = "mirror://kernel/linux/kernel/v5.x/linux-${version}.tar.xz";
-                  sha256 = "1h8srn3fw4vw61qi0xxlk9fq0fqq4wl7fbrzz7sivdd8qkhjgv8x";
-                };
-              };
-            };
-          });
+          kernelPackages = pkgs.linuxKernel.packages.linux_6_1;
           kernelModules = [ "kvm-intel" ];
           kernelParams = [ "intel_iommu=on" ];
           initrd = {