From 7c41dfd9b30ffff79fce501a896b752c20ed11a3 Mon Sep 17 00:00:00 2001
From: Toast <toast003@tutamail.com>
Date: Wed, 12 Jul 2023 21:03:06 +0200
Subject: [PATCH] Archie: switch kernel to xanmod

---
 machines/Archie/configuration.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/machines/Archie/configuration.nix b/machines/Archie/configuration.nix
index c01b561..4b56c96 100644
--- a/machines/Archie/configuration.nix
+++ b/machines/Archie/configuration.nix
@@ -18,6 +18,8 @@
 	};
 	boot.loader.efi.canTouchEfiVariables = true;
 
+	boot.kernelPackages = pkgs.linuxKernel.packages.linux_xanmod_latest;
+
 	networking.hostName = "Archie"; # Define your hostname.
 	networking.networkmanager.enable = true; # Enable networking