tools: {
  ssh.id = with tools.dns; {
    publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICz2nGA+Y4OxhMKsV6vKIns3hOoBkK557712h7FfWXcE";
    hostNames = subResolve "vegas" "backbone";
  };

  interfaces = {
    primary = {
      addr = "95.216.8.12";
      link = "enp0s31f6";
    };
    vstub = {
      addr = "10.1.0.1";
      link = "vstub";
    };
  };

  hypr = {
    id = "QmYs4xNBby2fTs8RnzfXEk161KD4mftBfCiR8yXtgGPj4J";
    addr = "10.100.3.5";
    listenPort = 995;
    routes = [
      "10.1.0.1/32"
      "10.10.0.0/16"
    ];
  };

  enterprise = {
    subdomain = "backbone";
  };

  arch = "x86_64";
  nixos = import ./system.nix;
}