{ pkgs, lib, ... }:
let
  uefi_pi4 = pkgs.callPackage ./pi4-uefi.nix { };
in
{
  boot = {
    loader = {
        systemd-boot.enable = lib.mkForce true;
        efi.canTouchEfiVariables = false;
        generic-extlinux-compatible.enable = lib.mkForce false;
    };
    plymouth.enable = true;
    kernelPackages = pkgs.linuxPackages_latest;
    kernelModules = [ "i2c-dev" "i2c-bcm2835" ];
    initrd.kernelModules = [  "i2c-dev" "i2c-bcm2835"  ];
  };
  environment.systemPackages = [ uefi_pi4 ];

  # Copy UEFI firmware files to the boot partition
  system.activationScripts.installUEFIFirmware.text = ''
    cp -r ${uefi_pi4}/share/uefi_rpi4/* /boot/firmware/
  '';
}