2024-11-20 01:15:09 -05:00
|
|
|
{ config, lib, ... }:
|
2024-11-20 00:58:57 -05:00
|
|
|
{
|
|
|
|
|
options.aether.deploy.rpi5 = {
|
|
|
|
|
kernelPackages = lib.mkOption {
|
|
|
|
|
type = lib.types.raw;
|
|
|
|
|
description = "Kernel package to use for Raspberry Pi 5 support";
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
config =
|
|
|
|
|
let cfg = config.aether.deploy.rpi5;
|
|
|
|
|
in {
|
|
|
|
|
nixpkgs.system = "aarch64-linux";
|
|
|
|
|
boot.kernelPackages = cfg.kernelPackages;
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = false;
|
|
|
|
|
};
|
|
|
|
|
}
|
