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