From bacb0f119a700aea23a35f8b06866e1c587893c5 Mon Sep 17 00:00:00 2001 From: Travis Staton Date: Mon, 13 May 2024 22:03:05 -0400 Subject: [PATCH] add pin-kernel option --- rpi/default.nix | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/rpi/default.nix b/rpi/default.nix index 0ac3b8a..10ff30d 100644 --- a/rpi/default.nix +++ b/rpi/default.nix @@ -8,6 +8,15 @@ in options = with lib; { raspberry-pi-nix = { + pin-kernel = { + enable = mkOption { + default = true; + type = types.bool; + description = '' + Whether to pin the kernel to the latest cachix build. + ''; + }; + }; firmware-migration-service = { enable = mkOption { default = true; @@ -275,7 +284,10 @@ in # This pin is not necessary, it would be fine to replace it with # `pkgs.rpi-kernels.latest.kernel`. It is helpful to ensure # cache hits for kernel builds though. - kernelPackages = pinned.linuxPackagesFor (pinned.rpi-kernels.latest.kernel); + kernelPackages = + if cfg.pin-kernel.enable + then pinned.linuxPackagesFor (pinned.rpi-kernels.latest.kernel) + else pkgs.linuxPackagesFor (pkgs.rpi-kernels.latest.kernel); loader = { grub.enable = lib.mkDefault false;