From e287d00e96b5505da20399d073ae96458f841397 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Thu, 10 Mar 2022 19:14:10 -0600
Subject: Track system configuration

---
 platform/p-user.nix | 35 +++++++++++++++++++++++++++++++++++
 platform/user.nix   | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 81 insertions(+)
 create mode 100644 platform/p-user.nix
 create mode 100644 platform/user.nix

(limited to 'platform')

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";
+      };
+    };
+  };
+}
-- 
cgit v1.2.3