Track system configuration

2 files changed, 81 insertions, 0 deletions

diff --git a/platform/p-user.nix b/platform/p-user.nix
new file mode 100644
index 0000000..7625355
--- /dev/null
+++ b/platform/p-user.nix
@@ -0,0 +1,35 @@
+{
+  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
new file mode 100644
index 0000000..dc5961a
--- /dev/null
+++ b/platform/user.nix
@@ -0,0 +1,46 @@
+{
+  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";
+      };
+    };
+  };
+}