From 225302ea8c5d8b2350731dc58816486cefd389e1 Mon Sep 17 00:00:00 2001
From: Antoine Viallon <antoine@lesviallon.fr>
Date: Wed, 4 Sep 2024 02:02:01 +0200
Subject: [PATCH] [Boot]: change option type for aviallon.boot.kernel

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

diff --git a/boot.nix b/boot.nix
index 7f3671d..ab78bb7 100644
--- a/boot.nix
+++ b/boot.nix
@@ -185,7 +185,7 @@ in {
         description = "Linux kernel to use";
         default = options.boot.kernelPackages.default.kernel;
         example = "pkgs.kernel";
-        type = types.package;
+        type = myLib.types.package';
       };
 
       addAttributes = mkOption {