summaryrefslogtreecommitdiff
path: root/platform
diff options
context:
space:
mode:
authorAlejandro Soto <alejandro@34project.org>2022-03-10 23:33:18 -0600
committerAlejandro Soto <alejandro@34project.org>2022-03-10 23:40:01 -0600
commit1f0b119fac141d362094740328ce5f60dd47ad28 (patch)
treea4caa724a3924b246882d7cecfd6445f70995ee3 /platform
parente287d00e96b5505da20399d073ae96458f841397 (diff)
Add sys and home platform dirs
Diffstat (limited to 'platform')
-rw-r--r--platform/p-user.nix35
-rw-r--r--platform/user.nix46
2 files changed, 0 insertions, 81 deletions
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";
- };
- };
- };
-}