{ pkgs, unfreeAndNonDistributablePkgs, lib, ... }: { boot.loader.efi.canTouchEfiVariables = true; boot.initrd.luks.devices = { "00vault" = { device = "/dev/disk/by-uuid/a70f4ff8-e463-42fa-8148-6783dd352f96"; }; shakti-swap = { device = "/dev/disk/by-uuid/69f3a774-c796-4dbd-a38b-32f019d05e7c"; keyFile = "/dev/mapper/00vault"; }; shakti-root = { device = "/dev/disk/by-uuid/8a67bdf9-08bb-4214-b728-88cf1c2ee206"; keyFile = "/dev/mapper/00vault"; }; }; boot.initrd.postDeviceCommands = lib.mkAfter '' cryptsetup luksClose /dev/mapper/00vault ''; boot.kernelModules = [ "kvm-amd" ]; # The machine has a weird HDMI->DVI adapter which doesn't report back EDID # information and the monitor is also very weird because it doesn't # understand the fallback modes. boot.kernelParams = [ "drm_kms_helper.edid_firmware=edid/weird.bin" ]; hardware.firmware = lib.singleton (pkgs.runCommandLocal "weird-edid" {} '' mkdir -p "$out/lib/firmware/edid" base64 -d > "$out/lib/firmware/edid/weird.bin" <