cleanup more nix code

machines/atlas.nix

@@ -0,0 +1,12 @@
+{
+  machines.atlas = {
+    arch = "x86_64-linux";
+
+    nixosModule.lab = {
+      storage = {
+        osDisk = "/dev/sda";
+        dataPartition = "/dev/nvme0n1p1";
+      };
+    };
+  };
+}

machines/default.nix

@@ -0,0 +1,41 @@
+{ lib, ... }:
+let
+  machineOpts = { config, ... }: {
+    options = {
+      arch = lib.mkOption {
+        default = null;
+        type = with lib.types; nullOr str;
+        description = ''
+          CPU architecture of this machine.
+        '';
+      };
+
+      isRaspberryPi = lib.mkOption {
+        default = false;
+        type = lib.types.bool;
+      };
+
+      nixosModule = lib.mkOption {
+        default = { ... }: { };
+        type = lib.types.anything;
+        description = ''
+          Customized configuration for this machine in the form of a NixOS module.
+        '';
+      };
+    };
+  };
+in
+{
+  imports = [
+    ./warwick.nix
+    ./atlas.nix
+    ./jefke.nix
+    ./lewis.nix
+  ];
+
+  options = {
+    machines = lib.mkOption {
+      type = with lib.types; attrsOf (submodule machineOpts);
+    };
+  };
+}

machines/jefke.nix

@@ -0,0 +1,14 @@
+{
+  machines.jefke = {
+    arch = "x86_64-linux";
+
+    nixosModule.lab = {
+      storage = {
+        osDisk = "/dev/sda";
+        dataPartition = "/dev/nvme0n1p1";
+      };
+
+      k3s.enable = true;
+    };
+  };
+}

machines/lewis.nix

@@ -0,0 +1,15 @@
+{
+  machines.lewis = {
+    arch = "x86_64-linux";
+
+    nixosModule.lab = {
+      backups.enable = true;
+      data-sharing.enable = true;
+
+      storage = {
+        osDisk = "/dev/sda";
+        dataPartition = "/dev/nvme0n1p1";
+      };
+    };
+  };
+}

machines/warwick.nix

@@ -0,0 +1,10 @@
+{
+  machines.warwick = {
+    arch = "aarch64-linux";
+    isRaspberryPi = true;
+
+    nixosModule = {
+      lab.monitoring.server.enable = true;
+    };
+  };
+}