hosts.lisp: Fix Mythic's ns1 address.
[zones] / hosts.lisp
CommitLineData
ff6c53ad
MW
1;;; -*-lisp-*-
2;;;
3;;; distorted.org.uk hosts and networks, and other useful addresses.
4
5;;;--------------------------------------------------------------------------
6;;; External hosts.
e80b4c2d 7
0fdd12c7 8(defhost boyle.nsict.org ((:ipv4 "85.158.42.162")))
9b7e4069 9(defhost chiark.greenend.org.uk ((:ipv4 "212.13.197.229")
cf1a8815 10 #+chiark-dns-ipv6 (:ipv6 "2001:ba8:1e3::")))
9b7e4069 11(defhost mccoy.flatline.org.uk "80.74.241.31")
2c712ad4 12(defhost mythic-ns1 ((:ipv4 "45.33.127.156")
6db97409 13 (:ipv6 "2600:3c00:e000:19::1")))
9b7e4069
MW
14(defhost mythic-ns2 ((:ipv4 "93.93.128.67")
15 (:ipv6 "2a00:1098:0:80:1000::10")))
fdcd43da
MW
16(defhost mythic-ns3 ((:ipv4 "185.24.221.32")
17 (:ipv6 "2a02:2770:11:0:21a:4aff:febe:759b")))
0fdd12c7 18(defhost gandi-ns6 ((:ipv4 "217.70.177.40")))
ff6c53ad
MW
19
20;;;--------------------------------------------------------------------------
21;;; Internal addresses.
22
9b7e4069
MW
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")
9e4bef79 27 (iodine "128/28")
df1d9fe1 28 (hippo "144/28")
9e4bef79 29 (upn "160/27"))
9b7e4069
MW
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
7c0d1761 40;; Externally routable DMZ from Andrews and Arnold.
f5c3343e
MW
41(defnet gw "81.2.113.195")
42(defnet dmz "81.187.238.128/28")
43(defnet distorted.org.uk-aaisp "2001:8b0:c92/48"
b0eb5b79
MW
44 (unsafe "1/64"
45 (dhcp "6468:6370/96"))
f5c3343e
MW
46 (dmz "fff/64")
47 (safe "4001/64")
48 (untrusted "8001/64"))
7c0d1761 49
38c2de7c 50;; Externally routed colo range.
9b7e4069
MW
51(defnet jump "212.13.198.66/28")
52(defnet jump "2001:ba8:0:1d9/64")
53(defnet distorted.org.uk-jump "2001:ba8:1d9/48"
54 (colo "2/64")
55 (any "0/64")
9e4bef79
MW
56 (vpn "6000/64")
57 (upn "a000/64"))
38c2de7c 58
ff6c53ad
MW
59;;;--------------------------------------------------------------------------
60;;; Host allocations
61
62;; External addresses.
f5c3343e
MW
63(defhost guvnor.dmz ((:ipv4 gw 0) (:ipv6 dmz "::1:1")))
64(defhost radius.dmz (dmz 1))
65(defhost roadstar.dmz (dmz 2))
66(defhost jem.dmz (dmz 3))
67(defhost artist.dmz (dmz 4))
68(defhost vampire.dmz (dmz 5))
69(defhost universe.dmz (dmz 6))
ff6c53ad 70(defhost ibanez.dmz (dmz 9))
04db9729 71(defhost anon.dmz (dmz 12))
9b7e4069 72(defhost nat.dmz ((:ipv4 dmz 14)))
ff6c53ad 73
38c2de7c 74;; Colocated addresses.
9b7e4069 75(defhost gate.jump ((:ipv6 jump 2)))
38c2de7c
MW
76(defhost fender.jump (jump 5))
77(defhost precision.jump (jump 6))
78(defhost telecaster.jump (jump 7))
79(defhost stratocaster.jump (jump 8))
80(defhost jazz.jump (jump 9))
e8ba93bc 81(defhost marshall.jump ((:ipv4 jump 11) (:ipv6 jump "::2:1")))
c1f47051 82(defhost richmond.jump ((:ipv4 jump 12) (:ipv6 jump "::1:1")))
0865ffd5 83(defhost anon.jump (jump 13))
113bdffe 84(defhost blackhole.jump ((:ipv4 jump 14) (:ipv6 jump "::ffff")))
38c2de7c 85
b577b999
MW
86;; Linode virtual hosts.
87(defhost national.linode ((:ipv4 "45.33.118.239")
88 (:ipv6 "2600:3c00::f03c:91ff:fe3b:d7c1")))
89
ff6c53ad
MW
90;; Unsafe network.
91(defhost radius.unsafe (unsafe 1))
92(defhost roadstar.unsafe (unsafe 2))
93(defhost jem.unsafe (unsafe 3))
94(defhost artist.unsafe (unsafe 4))
95(defhost vampire.unsafe (unsafe 5))
664e6cf9 96(defhost universe.unsafe (unsafe 6))
ff6c53ad 97(defhost ibanez.unsafe (unsafe 14))
f409e9c5 98(defhost groove.unsafe (unsafe 17))
ff6c53ad 99
55f161b6 100;; Client hosts, with IPv6 addresses.
f5c3343e
MW
101(defhost gibson.unsafe ((:ipv6 unsafe "e269:95ff:fe63:bb4")))
102(defhost crybaby.unsafe ((:ipv6 unsafe "216:eaff:fec2:4cb8")))
103(defhost lespaul.unsafe ((:ipv6 unsafe "a00:27ff:fef5:aaef")))
104(defhost haze.unsafe ((:ipv6 unsafe "5056:a8ff:fe01:5654")))
105(defhost gretsch.unsafe ((:ipv6 unsafe "3a2c:4aff:fe6d:e768")))
106(defhost invader.safe ((:ipv6 safe "a00:27ff:fe94:a5d7")))
107(defhost marauder.safe ((:ipv6 safe "a00:27ff:fe6a:7846")))
e8d49c40 108(defhost spirit.unsafe ((:ipv6 unsafe "568d:5aff:fed9:18b8")))
55f161b6 109
ff6c53ad 110;; Safe network.
d8536712
MW
111(defhost radius.safe (safe 1))
112(defhost vampire.safe (safe 2))
1f20839b 113(defhost evolution.safe (safe 3))
c32d96fa
MW
114(defhost grigsby.safe (safe 4))
115(defhost carling.safe (safe 5))
116(defhost tritan.safe (safe 6))
327c80f3
MW
117(defhost kitkat.safe (safe 7))
118(defhost lunch.safe (safe 8))
32926f3b 119(defhost burntaxe.safe (safe 9))
ff6c53ad
MW
120
121;; Wireless network.
122(defhost radius.untrusted (untrusted 1))
0302997e 123(defhost artist.untrusted (untrusted 2))
ff6c53ad
MW
124(defhost vampire.untrusted (untrusted 3))
125
126;; Virtual private network.
727a746f 127(defhost crybaby.vpn ((:ipv4 vpn 1) (:ipv6 vpn "::1:1")))
9b7e4069 128(defhost terror.vpn ((:ipv4 vpn 2)))
727a746f 129(defhost orange.vpn ((:ipv4 vpn 3) (:ipv6 vpn "::3:1")))
5a33b178 130(defhost haze.vpn ((:ipv4 vpn 4) (:ipv6 vpn "::4:1")))
aa779726
MW
131(defhost radius.vpn ((:ipv4 vpn 5) (:ipv6 vpn "::5:1")))
132(defhost precision.vpn ((:ipv4 vpn 6) (:ipv6 vpn "::6:1")))
133(defhost jazz.vpn ((:ipv4 vpn 7) (:ipv6 vpn "::7:1")))
134(defhost vampire.vpn ((:ipv4 vpn 8) (:ipv6 vpn "::8:1")))
e8d49c40 135(defhost spirit.vpn ((:ipv4 vpn 9) (:ipv6 vpn "::9:1")))
ff6c53ad 136
b577b999
MW
137;; Untrusted private network.
138(defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1")))
ce6486a8 139(defhost mdwdev.upn ((:ipv4 upn 2) (:ipv6 upn "::2:1")))
b577b999 140
ff6c53ad 141;; Iodine network.
17c95de9 142(defhost jazz.iodine (iodine 1))
ff6c53ad 143
df1d9fe1
MW
144;; Hippotat network.
145(defhost jazz.hippo (hippo 1))
146(defhost crybaby.hippo (hippo 2))
e8d49c40 147(defhost spirit.hippo (hippo 3))
df1d9fe1 148
ff6c53ad
MW
149;; Special network for ITS.
150;; It doesn't understand point-to-point links, so we need a little net.
151(defhost gw.its (its 1))
152(defhost mz.its (its 2))
153
38c2de7c
MW
154;; Internal (VPN) addresses for colocated services.
155(defhost fender.colo (colo 1))
156(defhost precision.colo (colo 2))
157(defhost telecaster.colo (colo 3))
158(defhost stratocaster.colo (colo 4))
159(defhost jazz.colo (colo 5))
160
345c0f69 161;; Anycast addresses for services.
727a746f
MW
162(defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:1")))
163(defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:1")))
164(defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:1")))
165(defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:1")))
166(defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:1")))
167(defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:1")))
168(defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:1")))
345c0f69 169
ff6c53ad
MW
170;;;--------------------------------------------------------------------------
171;;; Host switch.
172
173(preferred-subnet-case
c0430253 174 ((unsafe colo)
ff6c53ad 175 (defhost radius radius.unsafe)
76a134ee 176 (defhost vampire vampire.unsafe)
f0209b9c 177 (defhost precision precision.colo)
1b9508ad 178 (defhost telecaster telecaster.colo)
1a8dfbe2
MW
179 (defhost stratocaster stratocaster.colo)
180 (defhost national national.upn))
c0430253
MW
181 (t
182 (defhost radius radius.dmz)
76a134ee 183 (defhost vampire vampire.dmz)
f0209b9c 184 (defhost precision precision.jump)
1b9508ad 185 (defhost telecaster telecaster.jump)
1a8dfbe2
MW
186 (defhost stratocaster stratocaster.jump)
187 (defhost national national.linode)))
ff6c53ad 188
e8ba93bc 189(defhost marshall marshall.jump)
ce6486a8 190(defhost mdwdev mdwdev.upn)
033baee0 191
ff6c53ad 192;;;----- That's all, folks --------------------------------------------------