From 8d74b03da2e3aca10428f99502f47bf0b99aa350 Mon Sep 17 00:00:00 2001
From: twoneis <sanjay29@sapura.de>
Date: Fri, 9 Feb 2024 21:37:24 +0100
Subject: [PATCH] revert surface kernel to default kernel (avoid rebuilding but
 no touch etc)

---
 devices/surface/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/devices/surface/default.nix b/devices/surface/default.nix
index 7b4df37..13ea874 100644
--- a/devices/surface/default.nix
+++ b/devices/surface/default.nix
@@ -4,6 +4,9 @@
     ./options.nix
   ];
 
+  # Select kernel version
+  boot.kernelPackages = pkgs.linuxPackages_zen;
+
   networking.hostName = "surface";
 
   # Add user to surface control group for surface linux