chiark / gitweb /
Makefile, hosts.lisp, distorted.lisp: Move `fender' home.
[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")))
6cf32121
MW
9(defhost chiark.greenend.org.uk ((:ipv4 "93.93.131.173")
10 (:ipv6 "2a00:1098:86:130::1")))
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")
9b7e4069
MW
36 (safe "192/27")
37 (any "224/27")))
38
7c0d1761 39;; Externally routable DMZ from Andrews and Arnold.
f5c3343e
MW
40(defnet gw "81.2.113.195")
41(defnet dmz "81.187.238.128/28")
bda4d30e 42(defnet dmz1 "217.169.12.64/28")
f5c3343e 43(defnet distorted.org.uk-aaisp "2001:8b0:c92/48"
b0eb5b79
MW
44 (unsafe "1/64"
45 (dhcp "6468:6370/96"))
be5a78bf 46 (any "0/64")
f5c3343e
MW
47 (dmz "fff/64")
48 (safe "4001/64")
9e4bef79 49 (vpn "6000/64")
be5a78bf 50 (untrusted "8001/64")
9e4bef79 51 (upn "a000/64"))
38c2de7c 52
ff6c53ad
MW
53;;;--------------------------------------------------------------------------
54;;; Host allocations
55
56;; External addresses.
f5c3343e
MW
57(defhost guvnor.dmz ((:ipv4 gw 0) (:ipv6 dmz "::1:1")))
58(defhost radius.dmz (dmz 1))
59(defhost roadstar.dmz (dmz 2))
60(defhost jem.dmz (dmz 3))
61(defhost artist.dmz (dmz 4))
62(defhost vampire.dmz (dmz 5))
63(defhost universe.dmz (dmz 6))
ff6c53ad 64(defhost ibanez.dmz (dmz 9))
04db9729 65(defhost anon.dmz (dmz 12))
9b7e4069 66(defhost nat.dmz ((:ipv4 dmz 14)))
ff6c53ad 67
bda4d30e
MW
68;; Formerly colocated addresses.
69(defhost precision.dmz ((:ipv4 dmz1 1) (:ipv6 dmz 33)))
70(defhost telecaster.dmz ((:ipv4 dmz1 2) (:ipv6 dmz 34)))
71(defhost stratocaster.dmz ((:ipv4 dmz1 3) (:ipv6 dmz 35)))
72(defhost jazz.dmz ((:ipv4 dmz1 4) (:ipv6 dmz 36)))
73(defhost fender.dmz ((:ipv4 dmz1 9) (:ipv6 dmz 41)))
74(defhost marshall.dmz ((:ipv4 dmz1 11) (:ipv6 dmz "::2:1")))
75(defhost richmond.dmz ((:ipv4 dmz1 12) (:ipv6 dmz "::1:1")))
76(defhost blackhole.dmz ((:ipv4 dmz1 14) (:ipv6 dmz "::ffff")))
77
b577b999
MW
78;; Linode virtual hosts.
79(defhost national.linode ((:ipv4 "45.33.118.239")
80 (:ipv6 "2600:3c00::f03c:91ff:fe3b:d7c1")))
81
ff6c53ad
MW
82;; Unsafe network.
83(defhost radius.unsafe (unsafe 1))
84(defhost roadstar.unsafe (unsafe 2))
85(defhost jem.unsafe (unsafe 3))
86(defhost artist.unsafe (unsafe 4))
87(defhost vampire.unsafe (unsafe 5))
664e6cf9 88(defhost universe.unsafe (unsafe 6))
bda4d30e
MW
89(defhost precision.unsafe (unsafe 7))
90(defhost telecaster.unsafe (unsafe 8))
91(defhost stratocaster.unsafe (unsafe 9))
92(defhost jazz.unsafe (unsafe 10))
ff6c53ad 93(defhost ibanez.unsafe (unsafe 14))
bda4d30e 94(defhost fender.unsafe (unsafe 15))
f409e9c5 95(defhost groove.unsafe (unsafe 17))
ff6c53ad 96
55f161b6 97;; Client hosts, with IPv6 addresses.
f5c3343e
MW
98(defhost gibson.unsafe ((:ipv6 unsafe "e269:95ff:fe63:bb4")))
99(defhost crybaby.unsafe ((:ipv6 unsafe "216:eaff:fec2:4cb8")))
100(defhost lespaul.unsafe ((:ipv6 unsafe "a00:27ff:fef5:aaef")))
101(defhost haze.unsafe ((:ipv6 unsafe "5056:a8ff:fe01:5654")))
102(defhost gretsch.unsafe ((:ipv6 unsafe "3a2c:4aff:fe6d:e768")))
103(defhost invader.safe ((:ipv6 safe "a00:27ff:fe94:a5d7")))
104(defhost marauder.safe ((:ipv6 safe "a00:27ff:fe6a:7846")))
e8d49c40 105(defhost spirit.unsafe ((:ipv6 unsafe "568d:5aff:fed9:18b8")))
55f161b6 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))
327c80f3
MW
114(defhost kitkat.safe (safe 7))
115(defhost lunch.safe (safe 8))
32926f3b 116(defhost burntaxe.safe (safe 9))
ff6c53ad
MW
117
118;; Wireless network.
119(defhost radius.untrusted (untrusted 1))
0302997e 120(defhost artist.untrusted (untrusted 2))
ff6c53ad 121(defhost vampire.untrusted (untrusted 3))
bda4d30e 122(defhost jazz.untrusted (untrusted 4))
ff6c53ad
MW
123
124;; Virtual private network.
727a746f 125(defhost crybaby.vpn ((:ipv4 vpn 1) (:ipv6 vpn "::1:1")))
9b7e4069 126(defhost terror.vpn ((:ipv4 vpn 2)))
727a746f 127(defhost orange.vpn ((:ipv4 vpn 3) (:ipv6 vpn "::3:1")))
5a33b178 128(defhost haze.vpn ((:ipv4 vpn 4) (:ipv6 vpn "::4:1")))
aa779726
MW
129(defhost radius.vpn ((:ipv4 vpn 5) (:ipv6 vpn "::5:1")))
130(defhost precision.vpn ((:ipv4 vpn 6) (:ipv6 vpn "::6:1")))
131(defhost jazz.vpn ((:ipv4 vpn 7) (:ipv6 vpn "::7:1")))
132(defhost vampire.vpn ((:ipv4 vpn 8) (:ipv6 vpn "::8:1")))
e8d49c40 133(defhost spirit.vpn ((:ipv4 vpn 9) (:ipv6 vpn "::9:1")))
2af6f6bd 134(defhost groove.vpn ((:ipv4 vpn 10) (:ipv6 vpn "::10:1")))
ff6c53ad 135
b577b999
MW
136;; Untrusted private network.
137(defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1")))
ce6486a8 138(defhost mdwdev.upn ((:ipv4 upn 2) (:ipv6 upn "::2:1")))
b577b999 139
ff6c53ad 140;; Iodine network.
17c95de9 141(defhost jazz.iodine (iodine 1))
ff6c53ad 142
df1d9fe1
MW
143;; Hippotat network.
144(defhost jazz.hippo (hippo 1))
145(defhost crybaby.hippo (hippo 2))
e8d49c40 146(defhost spirit.hippo (hippo 3))
df1d9fe1 147
ff6c53ad
MW
148;; Special network for ITS.
149;; It doesn't understand point-to-point links, so we need a little net.
150(defhost gw.its (its 1))
151(defhost mz.its (its 2))
152
345c0f69 153;; Anycast addresses for services.
727a746f
MW
154(defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:1")))
155(defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:1")))
156(defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:1")))
157(defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:1")))
158(defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:1")))
159(defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:1")))
160(defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:1")))
345c0f69 161
ff6c53ad
MW
162;;;--------------------------------------------------------------------------
163;;; Host switch.
164
165(preferred-subnet-case
be5a78bf 166 (unsafe
ff6c53ad 167 (defhost radius radius.unsafe)
76a134ee 168 (defhost vampire vampire.unsafe)
be5a78bf
MW
169 (defhost precision precision.unsafe)
170 (defhost telecaster telecaster.unsafe)
171 (defhost stratocaster stratocaster.unsafe)
1a8dfbe2 172 (defhost national national.upn))
c0430253
MW
173 (t
174 (defhost radius radius.dmz)
76a134ee 175 (defhost vampire vampire.dmz)
be5a78bf
MW
176 (defhost precision precision.dmz)
177 (defhost telecaster telecaster.dmz)
178 (defhost stratocaster stratocaster.dmz)
1a8dfbe2 179 (defhost national national.linode)))
ff6c53ad 180
be5a78bf 181(defhost marshall marshall.dmz)
ce6486a8 182(defhost mdwdev mdwdev.upn)
033baee0 183
ff6c53ad 184;;;----- That's all, folks --------------------------------------------------