hosts/prophet: init

hosts/default.nix

@@ -4,6 +4,7 @@ in with tools.dns; {
 
   # NixOS machines
   VEGAS = import ./VEGAS tools;
+  prophet = import ./prophet tools;
 
   # Non-NixOS machine metadata
   AnimusAlpha = let hostNames = [ "alpha.animus.com" "animus.com" ]; in {

hosts/prophet/default.nix

@@ -0,0 +1,26 @@
+tools: {
+  ssh.id = with tools.dns; {
+    publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJZ4FyGi69MksEn+UJZ87vw1APqiZmPNlEYIr0CbEoGv";
+    hostNames = subResolve "prophet" "node";
+  };
+
+  interfaces = {
+    primary = {
+      addr = "10.0.0.92";
+      addrPublic = "152.67.76.138";
+      link = "enp0s3";
+    };
+  };
+
+#  hypr = {
+#    id = "";
+#    addr = "10.100.3.9";
+#  };
+
+  enterprise = {
+    subdomain = "node";
+  };
+
+  arch = "aarch64";
+  nixos = import ./system.nix;
+}

hosts/prophet/hardware-configuration.nix

@@ -0,0 +1,25 @@
+# Do not modify this file!  It was generated by ‘nixos-generate-config’
+# and may be overwritten by future invocations.  Please make changes
+# to /etc/nixos/configuration.nix instead.
+{ config, lib, pkgs, modulesPath, ... }:
+
+{
+  imports =
+    [ (modulesPath + "/profiles/qemu-guest.nix")
+    ];
+
+  boot.initrd.availableKernelModules = [ "virtio_pci" "usbhid" ];
+  boot.initrd.kernelModules = [ ];
+  boot.kernelModules = [ ];
+  boot.extraModulePackages = [ ];
+
+  fileSystems."/" =
+    { device = "/dev/disk/by-uuid/68a66c53-17c1-402f-b0e0-5f9c3c1628a4";
+      fsType = "xfs";
+    };
+
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-uuid/A368-4D28";
+      fsType = "vfat";
+    };
+}

hosts/prophet/system.nix

@@ -0,0 +1,39 @@
+{ aspect, inputs, config, pkgs, ... }:
+
+{
+  imports =
+    [
+      # Hardware
+      ./hardware-configuration.nix
+
+      inputs.agenix.nixosModules.age
+
+    ]
+    ++ aspect.sets.server;
+
+  # Use the systemd-boot EFI boot loader.
+  boot.loader.systemd-boot.enable = true;
+  boot.loader.efi.canTouchEfiVariables = true;
+
+  networking.hostName = "prophet";
+
+  time.timeZone = "Europe/Zurich";
+
+  networking.useDHCP = false;
+  networking.interfaces.enp0s3.useDHCP = true;
+
+  i18n.defaultLocale = "en_US.UTF-8";
+
+  users.users.opc = {
+    isNormalUser = true;
+    extraGroups = [ "wheel" ];
+  };
+
+  security.sudo.wheelNeedsPassword = false;
+
+  services.openssh.enable = true;
+
+  system.stateVersion = "21.11";
+
+}
+