{ pkgs, ... }:

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

  # EDID firmware loading is kept here because it's a kernel-level boot concern.
  # Commented kernel params from the original config are preserved.
  # boot.kernelParams = [
  #   "drm.edid_firmware=DP-1:edid/mi_edid.bin"
  #   "video=DP-1:2560x1440@180"
  # ];
  hardware.firmware = [
    (pkgs.runCommand "custom-edid" {} ''
      mkdir -p $out/lib/firmware/edid
      cp ${../../../mi_edid.bin} $out/lib/firmware/edid/mi_edid.bin
    '')
  ];
}