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";
      routes = [
        "10.1.0.1/32"
        "10.10.0.0/16"
      ];
    };
  };
  prophet = {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJZ4FyGi69MksEn+UJZ87vw1APqiZmPNlEYIr0CbEoGv";
      extraHostNames = subResolve "prophet" "node";
    };
    hypr = {    
      id = "QmbrAHuh4RYcyN9fWePCZMVmQjbaNXtyvrDCWz4VrchbXh";    
      addr = "10.100.3.9";     
    };     
  };
  checkmate = {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINImnMfEzUBU5qiuu05DMPrddTGypOtr+cL1/yQN2GFn";
      extraHostNames = subResolve "checkmate" "node";
    };
    hypr = {
      id = "12D3KooWL84sAtq1QTYwb7gVbhSNX5ZUfVt4kgYKz8pdif1zpGUh";
      addr = "10.100.3.32";
    };
  };
  thunderskin = {
    ssh.id = {
      publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGV8TbMvGXfAp9R2I9GdR7aLlGjxh2CW1pCZjQSB4TJp";
      extraHostNames = subResolve "thunderskin" "node";
    };
    hypr = {
      id = "12D3KooWB9AUPorFoACkWbphyargRBV9osJsYuQDumtQ85j7Aqmg";
      addr = "10.100.3.4";
    };
  };
  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" ];
  };
}