{ pkgs, ... }:

{
  # systemd-boot on UEFI
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;

  # EDID firmware (monitor identity) is exposed to the kernel as firmware so
  # the display can be driven at its native resolution; mi_edid.bin lives at
  # the repo root next to hardware-configuration.nix.
  # NOTE: the matching --kernel-params (drm.edid_firmware / video=) are kept
  # commented out because they hard-pin a specific DP output name.
  hardware.firmware = [
    (pkgs.runCommand "custom-edid" {} ''
      mkdir -p $out/lib/firmware/edid
      cp ${../../../mi_edid.bin} $out/lib/firmware/edid/mi_edid.bin
    '')
  ];
}