{ config, lib, ... }:
{
  options.aether.deploy.rpi5 = {
    _internal.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._internal.kernelPackages;
      boot.loader.systemd-boot.enable = true;
      boot.loader.efi.canTouchEfiVariables = false;
    };
}