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 AAAAC3NzaC1lZDI1NTE5AAAAIAUG/ubwo68tt2jMP5ia0Sa4mnkWtlKVN5n4Y50U2nTC"; 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"; }; }; }