2022-12-31 05:52:38 -05:00
|
|
|
{ pkgs, ...}:
|
2022-12-15 18:59:45 -05:00
|
|
|
|
|
|
|
|
let
|
|
|
|
|
# This file was obtained from the display while "DDG" mode was enabled.
|
|
|
|
|
chip_edid = pkgs.runCommandNoCC "chip_edid" { } ''
|
|
|
|
|
mkdir -p $out/lib/firmware/edid
|
|
|
|
|
cp ${./16ach6h.bin} $out/lib/firmware/edid/16ach6h.bin
|
|
|
|
|
'';
|
|
|
|
|
in
|
|
|
|
|
{
|
|
|
|
|
hardware.firmware = [ chip_edid ];
|
|
|
|
|
|
|
|
|
|
boot.kernelParams = [ "drm.edid_firmware=edid/16ach6h.bin" ];
|
|
|
|
|
boot.initrd.extraFiles."lib/firmware/edid/16ach6h.bin".source = pkgs.runCommandLocal "chip_edid" { } "cp ${./16ach6h.bin} $out";
|
|
|
|
|
}
|
