From d3ec1f59ffda3f417577fb825c193eae148276da Mon Sep 17 00:00:00 2001
From: Antoine Viallon <antoine@lesviallon.fr>
Date: Sat, 15 Apr 2023 16:18:47 +0200
Subject: [PATCH] [Boot] mark configured kernel packages as second-highest
 priority (just behind mkForce)

---
 boot.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot.nix b/boot.nix
index 90ec57b..ae5fc1a 100644
--- a/boot.nix
+++ b/boot.nix
@@ -191,7 +191,7 @@ in {
       initrd.kernelModules = [ ];
       initrd.availableKernelModules = [ "ehci_pci" ];
 
-      kernelPackages = pkgs.linuxPackagesFor cfg.kernel;
+      kernelPackages = mkOverride 2 (pkgs.linuxPackagesFor cfg.kernel);
 
       kernelPatches = []
         ++ optional cfg.x32abi.enable customKernelPatches.enableX32ABI