{ pkgs, lib, ... }:
let
  uefi_pi4 = pkgs.callPackage ./pi4-uefi.nix { };
in
{
  boot = {
    loader = {
        systemd-boot.enable = lib.mkForce false;
        efi.canTouchEfiVariables = false;
        generic-extlinux-compatible.enable = lib.mkForce true;
    };
    plymouth.enable = false;
    kernelPackages = pkgs.linuxPackages_rpi4;
    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/
  # '';
}