1 files changed, 0 insertions, 46 deletions
diff --git a/platform/user.nix b/platform/user.nix
deleted file mode 100644
index dc5961a..0000000
--- a/platform/user.nix
+++ /dev/null
@@ -1,46 +0,0 @@
-{
-  config.local = {
-    hostname = "user";
-    portable = false;
-
-    dhcpInterface = "ens8";
-
-    canTouchEfiVariables = true;
-    initrdModules = ,[ "xhci_pci" "ahci" "usb_storage" "uas" "sd_mod" "r8169" ];
-
-    videoDrivers = [ "qxl" ];
-
-    crypt = {
-      toplevel = {
-        device = "/dev/disk/by-path/virtio-pci-0000:00:05.0";
-        target = "user";
-        headerFromBoot = "headers/toplevel0-user.luks-header";
-      };
-
-      aux = [
-        {
-          device = "/dev/disk/by-path/virtio-pci-0000:00:0b.0";
-          target = "user-hdd";
-          header = "/var/trust/headers/hdd1-user.luks-header";
-          keyfile = "/var/trust/cryptkeys/hdd1-user.luks-key";
-        }
-      ];
-    };
-
-    fs = {
-      boot.device = "/dev/disk/by-uuid/";
-
-      sys = {
-        device = "/dev/mapper/user";
-        ssd = true;
-        root = "/root";
-        toplevel = "/";
-      };
-
-      hdd = {
-        device = "/dev/mapper/user-hdd";
-        home = "/home";
-      };
-    };
-  };
-}