chiark / gitweb /
distorted.lisp: IPv6 reverse zones.
[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
9b7e4069
MW
8(defhost boyle.nsict.org "85.158.42.162")
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")))
16(defhost gandi-ns6 "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))
9b7e4069
MW
76(defhost jaguar.jump ((:ipv4 jump 11)))
77(defhost richmond.jump ((:ipv4 jump 12)))
0865ffd5 78(defhost anon.jump (jump 13))
9b7e4069 79(defhost blackhole.jump ((:ipv4 jump 14) (:ipv6 jump #xffff)))
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))
88
89;; Safe network.
d8536712
MW
90(defhost radius.safe (safe 1))
91(defhost vampire.safe (safe 2))
9b7e4069 92(defhost evolution.safe ((:ipv4 safe 3)))
ff6c53ad
MW
93
94;; Wireless network.
95(defhost radius.untrusted (untrusted 1))
0302997e 96(defhost artist.untrusted (untrusted 2))
ff6c53ad
MW
97(defhost vampire.untrusted (untrusted 3))
98
99;; Virtual private network.
374be896 100(defhost crybaby.vpn (vpn 1))
9b7e4069 101(defhost terror.vpn ((:ipv4 vpn 2)))
2ed695e4 102(defhost orange.vpn (vpn 3))
ff6c53ad
MW
103
104;; Iodine network.
17c95de9 105(defhost jazz.iodine (iodine 1))
ff6c53ad
MW
106
107;; Special network for ITS.
108;; It doesn't understand point-to-point links, so we need a little net.
109(defhost gw.its (its 1))
110(defhost mz.its (its 2))
111
38c2de7c
MW
112;; Internal (VPN) addresses for colocated services.
113(defhost fender.colo (colo 1))
114(defhost precision.colo (colo 2))
115(defhost telecaster.colo (colo 3))
116(defhost stratocaster.colo (colo 4))
117(defhost jazz.colo (colo 5))
118
345c0f69
MW
119;; Anycast addresses for services.
120(defhost dns0.any (any 0))
121(defhost dns1.any (any 1))
122(defhost ntp0.any (any 2))
123(defhost ntp1.any (any 3))
124(defhost www-cache.any (any 4))
cfecfa5c
MW
125(defhost krb0.any (any 5))
126(defhost krb1.any (any 6))
345c0f69 127
ff6c53ad
MW
128;;;--------------------------------------------------------------------------
129;;; Host switch.
130
131(preferred-subnet-case
c0430253 132 ((unsafe colo)
ff6c53ad 133 (defhost radius radius.unsafe)
f0209b9c 134 (defhost precision precision.colo)
4c25329e 135 (defhost stratocaster stratocaster.colo)
c0430253
MW
136 (defhost vampire vampire.unsafe))
137 (t
138 (defhost radius radius.dmz)
f0209b9c 139 (defhost precision precision.jump)
4c25329e 140 (defhost stratocaster stratocaster.jump)
c0430253 141 (defhost vampire vampire.dmz)))
ff6c53ad
MW
142
143;;;----- That's all, folks --------------------------------------------------