From 3e7cdd7fda64ce03e970d7379b8bf888fac8c273 Mon Sep 17 00:00:00 2001 From: aszlig Date: Mon, 15 Aug 2022 13:39:05 +0200 Subject: machines/shakti: Remove machine config The machine no longer exists, so it doesn't make sense to continuously build it on Hydra. Signed-off-by: aszlig --- machines/aszlig/managed/shakti.nix | 73 -------------------------------------- 1 file changed, 73 deletions(-) delete mode 100644 machines/aszlig/managed/shakti.nix (limited to 'machines/aszlig') diff --git a/machines/aszlig/managed/shakti.nix b/machines/aszlig/managed/shakti.nix deleted file mode 100644 index e916914c..00000000 --- a/machines/aszlig/managed/shakti.nix +++ /dev/null @@ -1,73 +0,0 @@ -{ 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" <