Makefile, distorted.lisp, hosts.lisp: Finish renumbering for A&A switchover.
[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
MW
9(defhost chiark.greenend.org.uk ((:ipv4 "212.13.197.229")
10 (:ipv6 "2001:ba8:1e3::")))
11(defhost mccoy.flatline.org.uk "80.74.241.31")
12(defhost mythic-ns1 ((:ipv4 "69.56.173.190")
13 (:ipv6 "2600:3c00::f03c:91ff:fe96:beac")))
14(defhost mythic-ns2 ((:ipv4 "93.93.128.67")
15 (:ipv6 "2a00:1098:0:80:1000::10")))
0fdd12c7 16(defhost gandi-ns6 ((:ipv4 "217.70.177.40")))
ff6c53ad
MW
17
18;;;--------------------------------------------------------------------------
19;;; Internal addresses.
20
9b7e4069
MW
21;; (RFC1918 addresses are allocated from Cambridge G-RIN.)
22(defnet distorted.org.uk "172.29.198/23"
23 (untrusted "198.0/24"
24 (wireless "0/25")
9e4bef79
MW
25 (iodine "128/28")
26 (upn "160/27"))
9b7e4069
MW
27 (trusted "199.0/24"
28 (wired "0/25"
29 (unsafe "0/27")
30 (dhcp "32/27"))
31 (vpn "128/27")
32 (its "160/30")
33 (colo "176/28")
34 (safe "192/27")
35 (any "224/27")))
36
7c0d1761 37;; Externally routable DMZ from Andrews and Arnold.
f5c3343e
MW
38(defnet gw "81.2.113.195")
39(defnet dmz "81.187.238.128/28")
40(defnet distorted.org.uk-aaisp "2001:8b0:c92/48"
41 (unsafe "1/64")
42 (dmz "fff/64")
43 (safe "4001/64")
44 (untrusted "8001/64"))
7c0d1761 45
38c2de7c 46;; Externally routed colo range.
9b7e4069
MW
47(defnet jump "212.13.198.66/28")
48(defnet jump "2001:ba8:0:1d9/64")
49(defnet distorted.org.uk-jump "2001:ba8:1d9/48"
50 (colo "2/64")
51 (any "0/64")
9e4bef79
MW
52 (vpn "6000/64")
53 (upn "a000/64"))
38c2de7c 54
ff6c53ad
MW
55;;;--------------------------------------------------------------------------
56;;; Host allocations
57
58;; External addresses.
f5c3343e
MW
59(defhost guvnor.dmz ((:ipv4 gw 0) (:ipv6 dmz "::1:1")))
60(defhost radius.dmz (dmz 1))
61(defhost roadstar.dmz (dmz 2))
62(defhost jem.dmz (dmz 3))
63(defhost artist.dmz (dmz 4))
64(defhost vampire.dmz (dmz 5))
65(defhost universe.dmz (dmz 6))
ff6c53ad 66(defhost ibanez.dmz (dmz 9))
04db9729 67(defhost anon.dmz (dmz 12))
9b7e4069 68(defhost nat.dmz ((:ipv4 dmz 14)))
ff6c53ad 69
38c2de7c 70;; Colocated addresses.
9b7e4069 71(defhost gate.jump ((:ipv6 jump 2)))
38c2de7c
MW
72(defhost fender.jump (jump 5))
73(defhost precision.jump (jump 6))
74(defhost telecaster.jump (jump 7))
75(defhost stratocaster.jump (jump 8))
76(defhost jazz.jump (jump 9))
376a10ac 77(defhost jaguar.jump ((:ipv4 jump 11) (:ipv6 jump "::2:1")))
c1f47051 78(defhost richmond.jump ((:ipv4 jump 12) (:ipv6 jump "::1:1")))
0865ffd5 79(defhost anon.jump (jump 13))
113bdffe 80(defhost blackhole.jump ((:ipv4 jump 14) (:ipv6 jump "::ffff")))
38c2de7c 81
b577b999
MW
82;; Linode virtual hosts.
83(defhost national.linode ((:ipv4 "45.33.118.239")
84 (:ipv6 "2600:3c00::f03c:91ff:fe3b:d7c1")))
85
ff6c53ad
MW
86;; Unsafe network.
87(defhost radius.unsafe (unsafe 1))
88(defhost roadstar.unsafe (unsafe 2))
89(defhost jem.unsafe (unsafe 3))
90(defhost artist.unsafe (unsafe 4))
91(defhost vampire.unsafe (unsafe 5))
664e6cf9 92(defhost universe.unsafe (unsafe 6))
ff6c53ad 93(defhost ibanez.unsafe (unsafe 14))
f409e9c5 94(defhost groove.unsafe (unsafe 17))
ff6c53ad 95
55f161b6 96;; Client hosts, with IPv6 addresses.
f5c3343e
MW
97(defhost gibson.unsafe ((:ipv6 unsafe "e269:95ff:fe63:bb4")))
98(defhost crybaby.unsafe ((:ipv6 unsafe "216:eaff:fec2:4cb8")))
99(defhost lespaul.unsafe ((:ipv6 unsafe "a00:27ff:fef5:aaef")))
100(defhost haze.unsafe ((:ipv6 unsafe "5056:a8ff:fe01:5654")))
101(defhost gretsch.unsafe ((:ipv6 unsafe "3a2c:4aff:fe6d:e768")))
102(defhost invader.safe ((:ipv6 safe "a00:27ff:fe94:a5d7")))
103(defhost marauder.safe ((:ipv6 safe "a00:27ff:fe6a:7846")))
55f161b6 104
ff6c53ad 105;; Safe network.
d8536712
MW
106(defhost radius.safe (safe 1))
107(defhost vampire.safe (safe 2))
1f20839b 108(defhost evolution.safe (safe 3))
c32d96fa
MW
109(defhost grigsby.safe (safe 4))
110(defhost carling.safe (safe 5))
111(defhost tritan.safe (safe 6))
ff6c53ad
MW
112
113;; Wireless network.
114(defhost radius.untrusted (untrusted 1))
0302997e 115(defhost artist.untrusted (untrusted 2))
ff6c53ad
MW
116(defhost vampire.untrusted (untrusted 3))
117
118;; Virtual private network.
727a746f 119(defhost crybaby.vpn ((:ipv4 vpn 1) (:ipv6 vpn "::1:1")))
9b7e4069 120(defhost terror.vpn ((:ipv4 vpn 2)))
727a746f 121(defhost orange.vpn ((:ipv4 vpn 3) (:ipv6 vpn "::3:1")))
5a33b178 122(defhost haze.vpn ((:ipv4 vpn 4) (:ipv6 vpn "::4:1")))
aa779726
MW
123(defhost radius.vpn ((:ipv4 vpn 5) (:ipv6 vpn "::5:1")))
124(defhost precision.vpn ((:ipv4 vpn 6) (:ipv6 vpn "::6:1")))
125(defhost jazz.vpn ((:ipv4 vpn 7) (:ipv6 vpn "::7:1")))
126(defhost vampire.vpn ((:ipv4 vpn 8) (:ipv6 vpn "::8:1")))
ff6c53ad 127
b577b999
MW
128;; Untrusted private network.
129(defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1")))
130
ff6c53ad 131;; Iodine network.
17c95de9 132(defhost jazz.iodine (iodine 1))
ff6c53ad
MW
133
134;; Special network for ITS.
135;; It doesn't understand point-to-point links, so we need a little net.
136(defhost gw.its (its 1))
137(defhost mz.its (its 2))
138
38c2de7c
MW
139;; Internal (VPN) addresses for colocated services.
140(defhost fender.colo (colo 1))
141(defhost precision.colo (colo 2))
142(defhost telecaster.colo (colo 3))
143(defhost stratocaster.colo (colo 4))
144(defhost jazz.colo (colo 5))
145
345c0f69 146;; Anycast addresses for services.
727a746f
MW
147(defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:1")))
148(defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:1")))
149(defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:1")))
150(defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:1")))
151(defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:1")))
152(defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:1")))
153(defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:1")))
345c0f69 154
ff6c53ad
MW
155;;;--------------------------------------------------------------------------
156;;; Host switch.
157
158(preferred-subnet-case
c0430253 159 ((unsafe colo)
ff6c53ad 160 (defhost radius radius.unsafe)
f0209b9c 161 (defhost precision precision.colo)
1b9508ad 162 (defhost telecaster telecaster.colo)
4c25329e 163 (defhost stratocaster stratocaster.colo)
c0430253
MW
164 (defhost vampire vampire.unsafe))
165 (t
166 (defhost radius radius.dmz)
f0209b9c 167 (defhost precision precision.jump)
1b9508ad 168 (defhost telecaster telecaster.jump)
4c25329e 169 (defhost stratocaster stratocaster.jump)
c0430253 170 (defhost vampire vampire.dmz)))
ff6c53ad 171
033baee0
MW
172(defhost jaguar jaguar.jump)
173
ff6c53ad 174;;;----- That's all, folks --------------------------------------------------