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