mdw@git.distorted.org.uk Git - zones/blob - hosts.lisp

   1 ;;; -*-lisp-*-
   2 ;;;
   3 ;;; distorted.org.uk hosts and networks, and other useful addresses.
   4
   5 ;;;--------------------------------------------------------------------------
   6 ;;; External hosts.
   7
   8 (defhost boyle.nsict.org ((:ipv4 "85.158.42.162")))
   9 (defhost chiark.greenend.org.uk ((:ipv4 "212.13.197.229")
  10                                  #+chiark-dns-ipv6 (:ipv6 "2001:ba8:1e3::")))
  11 (defhost mccoy.flatline.org.uk "80.74.241.31")
  12 (defhost mythic-ns1 ((:ipv4 "45.33.127.156")
  13                      (:ipv6 "2600:3c00:e000:19::1")))
  14 (defhost mythic-ns2 ((:ipv4 "93.93.128.67")
  15                      (:ipv6 "2a00:1098:0:80:1000::10")))
  16 (defhost mythic-ns3 ((:ipv4 "185.24.221.32")
  17                      (:ipv6 "2a02:2770:11:0:21a:4aff:febe:759b")))
  18 (defhost gandi-ns6 ((:ipv4 "217.70.177.40")))
  19
  20 ;;;--------------------------------------------------------------------------
  21 ;;; Internal addresses.
  22
  23 ;; (RFC1918 addresses are allocated from Cambridge G-RIN.)
  24 (defnet distorted.org.uk "172.29.198/23"
  25   (untrusted "198.0/24"
  26     (wireless "0/25")
  27     (iodine "128/28")
  28     (hippo "144/28")
  29     (upn "160/27"))
  30   (trusted "199.0/24"
  31     (wired "0/25"
  32       (unsafe "0/27")
  33       (dhcp "32/27"))
  34     (vpn "128/27")
  35     (its "160/30")
  36     (colo "176/28")
  37     (safe "192/27")
  38     (any "224/27")))
  39
  40 ;; Externally routable DMZ from Andrews and Arnold.
  41 (defnet gw "81.2.113.195")
  42 (defnet dmz "81.187.238.128/28")
  43 (defnet dmz1 "217.169.12.64/28")
  44 (defnet distorted.org.uk-aaisp "2001:8b0:c92/48"
  45   (unsafe "1/64"
  46     (dhcp "6468:6370/96"))
  47   (nany "0/64")
  48   (dmz "fff/64")
  49   (safe "4001/64")
  50   (nvpn "6000/64")
  51   (untrusted "8001/64")
  52   (nupn "a000/64"))
  53
  54 ;; Externally routed colo range.
  55 (defnet jump "212.13.198.66/28")
  56 (defnet jump "2001:ba8:0:1d9/64")
  57 (defnet distorted.org.uk-jump "2001:ba8:1d9/48"
  58   (colo "2/64")
  59   (any "0/64")
  60   (vpn "6000/64")
  61   (upn "a000/64"))
  62
  63 ;;;--------------------------------------------------------------------------
  64 ;;; Host allocations
  65
  66 ;; External addresses.
  67 (defhost guvnor.dmz ((:ipv4 gw 0) (:ipv6 dmz "::1:1")))
  68 (defhost radius.dmz (dmz 1))
  69 (defhost roadstar.dmz (dmz 2))
  70 (defhost jem.dmz (dmz 3))
  71 (defhost artist.dmz (dmz 4))
  72 (defhost vampire.dmz (dmz 5))
  73 (defhost universe.dmz (dmz 6))
  74 (defhost ibanez.dmz (dmz 9))
  75 (defhost anon.dmz (dmz 12))
  76 (defhost nat.dmz ((:ipv4 dmz 14)))
  77
  78 ;; Colocated addresses.
  79 (defhost gate.jump ((:ipv6 jump 2)))
  80 (defhost fender.jump (jump 5))
  81 (defhost precision.jump (jump 6))
  82 (defhost telecaster.jump (jump 7))
  83 (defhost stratocaster.jump (jump 8))
  84 (defhost jazz.jump (jump 9))
  85 (defhost marshall.jump ((:ipv4 jump 11) (:ipv6 jump "::2:1")))
  86 (defhost richmond.jump ((:ipv4 jump 12) (:ipv6 jump "::1:1")))
  87 (defhost anon.jump (jump 13))
  88 (defhost blackhole.jump ((:ipv4 jump 14) (:ipv6 jump "::ffff")))
  89
  90 ;; Formerly colocated addresses.
  91 (defhost precision.dmz ((:ipv4 dmz1 1) (:ipv6 dmz 33)))
  92 (defhost telecaster.dmz ((:ipv4 dmz1 2) (:ipv6 dmz 34)))
  93 (defhost stratocaster.dmz ((:ipv4 dmz1 3) (:ipv6 dmz 35)))
  94 (defhost jazz.dmz ((:ipv4 dmz1 4) (:ipv6 dmz 36)))
  95 (defhost fender.dmz ((:ipv4 dmz1 9) (:ipv6 dmz 41)))
  96 (defhost marshall.dmz ((:ipv4 dmz1 11) (:ipv6 dmz "::2:1")))
  97 (defhost richmond.dmz ((:ipv4 dmz1 12) (:ipv6 dmz "::1:1")))
  98 (defhost blackhole.dmz ((:ipv4 dmz1 14) (:ipv6 dmz "::ffff")))
  99
 100 ;; Linode virtual hosts.
 101 (defhost national.linode ((:ipv4 "45.33.118.239")
 102                           (:ipv6 "2600:3c00::f03c:91ff:fe3b:d7c1")))
 103
 104 ;; Unsafe network.
 105 (defhost radius.unsafe (unsafe 1))
 106 (defhost roadstar.unsafe (unsafe 2))
 107 (defhost jem.unsafe (unsafe 3))
 108 (defhost artist.unsafe (unsafe 4))
 109 (defhost vampire.unsafe (unsafe 5))
 110 (defhost universe.unsafe (unsafe 6))
 111 (defhost precision.unsafe (unsafe 7))
 112 (defhost telecaster.unsafe (unsafe 8))
 113 (defhost stratocaster.unsafe (unsafe 9))
 114 (defhost jazz.unsafe (unsafe 10))
 115 (defhost ibanez.unsafe (unsafe 14))
 116 (defhost fender.unsafe (unsafe 15))
 117 (defhost groove.unsafe (unsafe 17))
 118
 119 ;; Client hosts, with IPv6 addresses.
 120 (defhost gibson.unsafe ((:ipv6 unsafe "e269:95ff:fe63:bb4")))
 121 (defhost crybaby.unsafe ((:ipv6 unsafe "216:eaff:fec2:4cb8")))
 122 (defhost lespaul.unsafe ((:ipv6 unsafe "a00:27ff:fef5:aaef")))
 123 (defhost haze.unsafe ((:ipv6 unsafe "5056:a8ff:fe01:5654")))
 124 (defhost gretsch.unsafe ((:ipv6 unsafe "3a2c:4aff:fe6d:e768")))
 125 (defhost invader.safe ((:ipv6 safe "a00:27ff:fe94:a5d7")))
 126 (defhost marauder.safe ((:ipv6 safe "a00:27ff:fe6a:7846")))
 127 (defhost spirit.unsafe ((:ipv6 unsafe "568d:5aff:fed9:18b8")))
 128
 129 ;; Safe network.
 130 (defhost radius.safe (safe 1))
 131 (defhost vampire.safe (safe 2))
 132 (defhost evolution.safe (safe 3))
 133 (defhost grigsby.safe (safe 4))
 134 (defhost carling.safe (safe 5))
 135 (defhost tritan.safe (safe 6))
 136 (defhost kitkat.safe (safe 7))
 137 (defhost lunch.safe (safe 8))
 138 (defhost burntaxe.safe (safe 9))
 139
 140 ;; Wireless network.
 141 (defhost radius.untrusted (untrusted 1))
 142 (defhost artist.untrusted (untrusted 2))
 143 (defhost vampire.untrusted (untrusted 3))
 144 (defhost jazz.untrusted (untrusted 4))
 145
 146 ;; Virtual private network.
 147 (defhost crybaby.vpn ((:ipv4 vpn 1) (:ipv6 vpn "::1:1")))
 148 (defhost terror.vpn ((:ipv4 vpn 2)))
 149 (defhost orange.vpn ((:ipv4 vpn 3) (:ipv6 vpn "::3:1")))
 150 (defhost haze.vpn ((:ipv4 vpn 4) (:ipv6 vpn "::4:1")))
 151 (defhost radius.vpn ((:ipv4 vpn 5) (:ipv6 vpn "::5:1")))
 152 (defhost precision.vpn ((:ipv4 vpn 6) (:ipv6 vpn "::6:1")))
 153 (defhost jazz.vpn ((:ipv4 vpn 7) (:ipv6 vpn "::7:1")))
 154 (defhost vampire.vpn ((:ipv4 vpn 8) (:ipv6 vpn "::8:1")))
 155 (defhost spirit.vpn ((:ipv4 vpn 9) (:ipv6 vpn "::9:1")))
 156 (defhost groove.vpn ((:ipv4 vpn 10) (:ipv6 vpn "::10:1")))
 157
 158 (defhost crybaby.nvpn ((:ipv6 nvpn "::1:1")))
 159 (defhost orange.nvpn ((:ipv6 nvpn "::3:1")))
 160 (defhost haze.nvpn ((:ipv6 nvpn "::4:1")))
 161 (defhost radius.nvpn ((:ipv6 nvpn "::5:1")))
 162 (defhost precision.nvpn ((:ipv6 nvpn "::6:1")))
 163 (defhost jazz.nvpn ((:ipv6 nvpn "::7:1")))
 164 (defhost vampire.nvpn ((:ipv6 nvpn "::8:1")))
 165 (defhost spirit.nvpn ((:ipv6 nvpn "::9:1")))
 166 (defhost groove.nvpn ((:ipv6 nvpn "::10:1")))
 167
 168 ;; Untrusted private network.
 169 (defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1")))
 170 (defhost mdwdev.upn ((:ipv4 upn 2) (:ipv6 upn "::2:1")))
 171
 172 (defhost national.nupn ((:ipv6 nupn "::1:1")))
 173 (defhost mdwdev.nupn ((:ipv6 nupn "::2:1")))
 174
 175 ;; Iodine network.
 176 (defhost jazz.iodine (iodine 1))
 177
 178 ;; Hippotat network.
 179 (defhost jazz.hippo (hippo 1))
 180 (defhost crybaby.hippo (hippo 2))
 181 (defhost spirit.hippo (hippo 3))
 182
 183 ;; Special network for ITS.
 184 ;; It doesn't understand point-to-point links, so we need a little net.
 185 (defhost gw.its (its 1))
 186 (defhost mz.its (its 2))
 187
 188 ;; Internal (VPN) addresses for colocated services.
 189 (defhost fender.colo (colo 1))
 190 (defhost precision.colo (colo 2))
 191 (defhost telecaster.colo (colo 3))
 192 (defhost stratocaster.colo (colo 4))
 193 (defhost jazz.colo (colo 5))
 194
 195 ;; Anycast addresses for services.
 196 (defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:1")))
 197 (defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:1")))
 198 (defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:1")))
 199 (defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:1")))
 200 (defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:1")))
 201 (defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:1")))
 202 (defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:1")))
 203
 204 (defhost dns0.nany ((:ipv6 nany "::0:1")))
 205 (defhost dns1.nany ((:ipv6 nany "::1:1")))
 206 (defhost ntp0.nany ((:ipv6 nany "::2:1")))
 207 (defhost ntp1.nany ((:ipv6 nany "::3:1")))
 208 (defhost www-cache.nany ((:ipv6 nany "::4:1")))
 209 (defhost krb0.nany ((:ipv6 nany "::5:1")))
 210 (defhost krb1.nany ((:ipv6 nany "::6:1")))
 211
 212 ;;;--------------------------------------------------------------------------
 213 ;;; Host switch.
 214
 215 (preferred-subnet-case
 216   ((unsafe colo)
 217    (defhost radius radius.unsafe)
 218    (defhost vampire vampire.unsafe)
 219    (defhost precision precision.colo)
 220    (defhost telecaster telecaster.colo)
 221    (defhost stratocaster stratocaster.colo)
 222    (defhost national national.upn))
 223   (t
 224    (defhost radius radius.dmz)
 225    (defhost vampire vampire.dmz)
 226    (defhost precision precision.jump)
 227    (defhost telecaster telecaster.jump)
 228    (defhost stratocaster stratocaster.jump)
 229    (defhost national national.linode)))
 230
 231 (defhost marshall marshall.jump)
 232 (defhost mdwdev mdwdev.upn)
 233
 234 ;;;----- That's all, folks --------------------------------------------------