From 1f0b119fac141d362094740328ce5f60dd47ad28 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Thu, 10 Mar 2022 23:33:18 -0600
Subject: Add sys and home platform dirs

---
 platform/p-user.nix | 35 -----------------------------------
 platform/user.nix   | 46 ----------------------------------------------
 2 files changed, 81 deletions(-)
 delete mode 100644 platform/p-user.nix
 delete mode 100644 platform/user.nix

(limited to 'platform')

diff --git a/platform/p-user.nix b/platform/p-user.nix
deleted file mode 100644
index 7625355..0000000
--- a/platform/p-user.nix
+++ /dev/null
@@ -1,35 +0,0 @@
-{
-  config = {
-    hostname = "p-user";
-    portable = true;
-
-    dhcpInterface = "enp5s0";
-
-    canTouchEfiVariables = false;
-    initrdModules = [ "xhci_pci" "ahci" "usb_storage" "uas" "sd_mod" "r8169" ];
-
-    videoDrivers = [ "amdgpu" ];
-
-    crypt.toplevel = {
-      device = "/dev/hdd0/user.crypt";
-      target = "user-portable";
-      headerFromBoot = "tierra/trust/hdd0-user.luks-header";
-    };
-
-    fs = {
-      boot.device = "/dev/disk/by-uuid/F8F9-1F8A";
-
-      sys = {
-        device = "/dev/mapper/user-portable";
-        ssd = false;
-        root = "/run/nixroot";
-        toplevel = "/run";
-      };
-
-      hdd = {
-        device = "/dev/mapper/user-portable";
-        home = "/run/home";
-      };
-    };
-  };
-}
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";
-      };
-    };
-  };
-}
-- 
cgit v1.2.3