cleverca22
8/9/2017 - 11:06 PM

gistfile1.nix

{ ... }:

{
  boot.loader.grub.extraConfig = ''
    insmod setpci;
    setpci -s "00:17.0" 3e.b=8;
    setpci -s "02:00.0" 04.b=7;
  '';
}