From db4ef38b10618339e2ab203c5c7652dbf168d05b 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 {