{ config, lib, pkgs, ... }:
let
  cfg = config.sane.hal.rpi-400;
in
{
  options = {
    sane.hal.rpi-400.enable = lib.mkEnableOption "Raspberry Pi 400 hardware support";
  };
  config = lib.mkIf cfg.enable {
    sane.image.extraBootFiles = [ pkgs.bootpart-u-boot-rpi-aarch64 ];
  };
}
