{
  krebs = {
    dns.providers.hkw = "hosts";
    hosts = {
      au = {
        nets.hkw = {
          ip4 = {
            addr = "10.23.1.39";
            prefix = "10.23.1.0/24";
          };
          aliases = [
            "au.hkw"
          ];
          ssh.port = 11423;
        };
      };
      nomic = {
        nets.hkw = {
          ip4 = {
            addr = "10.23.1.110";
            prefix = "10.23.1.0/24";
          };
          aliases = [
            "nomic.hkw"
          ];
          ssh.port = 11423;
        };
      };
      ok = {
        external = true;
        nets.hkw = {
          ip4 = {
            addr = "10.23.1.1";
            prefix = "10.23.1.0/24";
          };
          aliases = [
            "ok.hkw"
          ];
        };
      };
      xu = {
        nets.hkw = {
          ip4 = {
            addr = "10.23.1.38";
            prefix = "10.23.1.0/24";
          };
          aliases = [
            "xu.hkw"
            "cache.xu.hkw"
          ];
          ssh.port = 11423;
        };
      };
      zu = {
        nets.hkw = {
          ip4 = {
            addr = "10.23.1.40";
            prefix = "10.23.1.0/24";
          };
          aliases = [
            "zu.hkw"
          ];
          ssh.port = 11423;
        };
      };
    };
  };
}