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