let
  tools = import ./tools.nix;
in with tools.dns; {

  # NixOS machines
  jericho = import ./jericho tools;
  TITAN = import ./TITAN tools;

  # Unmanaged machine metadata
  VEGAS = {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICz2nGA+Y4OxhMKsV6vKIns3hOoBkK557712h7FfWXcE";
      extraHostNames = subResolve "vegas" "backbone";
    };
    hypr = {
      id = "QmYs4xNBby2fTs8RnzfXEk161KD4mftBfCiR8yXtgGPj4J";
      addr = "10.100.3.5";
    };
  };
  prophet = {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJZ4FyGi69MksEn+UJZ87vw1APqiZmPNlEYIr0CbEoGv";
      extraHostNames = subResolve "prophet" "node";
    };
    hypr = {    
      id = "QmbrAHuh4RYcyN9fWePCZMVmQjbaNXtyvrDCWz4VrchbXh";    
      addr = "10.100.3.9";     
    };     
  };
  loki = {
    hypr = {
      id = "QmYZ4qA1W9hEZgDKDgKgjNge1ZX3Z25gVGxs34uEoLghgq";
      addr = "10.100.3.10";
    };
  };
  styx = {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOYLrmiuPK77cw71QNzG2zaWs6gsxmYuLyqsUrWMYLnk";
      extraHostNames = subResolve "styx" "services";
    };
  };
  AnimusAlpha = let extraHostNames = [ "alpha.animus.com" "animus.com" ]; in {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGpFR47Ev+W+bdng6IrDVpl8rlKBBHSr1v5lwJmZcEFH";
      extraHostNames = portMap 69 extraHostNames;
    };
    ssh.extraConfig = tools.ssh.extraConfig extraHostNames [ "Port 69" "Compression yes" ];
  };
}