| 1 | ;;; -*-lisp-*- |
| 2 | ;;; |
| 3 | ;;; distorted.org.uk hosts and networks, and other useful addresses. |
| 4 | |
| 5 | ;;;-------------------------------------------------------------------------- |
| 6 | ;;; External hosts. |
| 7 | |
| 8 | (defhost boyle.nsict.org ((:ipv4 "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 "45.33.127.156") |
| 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 mythic-ns3 ((:ipv4 "185.24.221.32") |
| 17 | (:ipv6 "2a02:2770:11:0:21a:4aff:febe:759b"))) |
| 18 | (defhost gandi-ns6 ((:ipv4 "217.70.177.40"))) |
| 19 | |
| 20 | ;;;-------------------------------------------------------------------------- |
| 21 | ;;; Internal addresses. |
| 22 | |
| 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") |
| 27 | (iodine "128/28") |
| 28 | (hippo "144/28") |
| 29 | (upn "160/27")) |
| 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") |
| 36 | (colo "176/28") |
| 37 | (safe "192/27") |
| 38 | (any "224/27"))) |
| 39 | |
| 40 | ;; Externally routable DMZ from Andrews and Arnold. |
| 41 | (defnet gw "81.2.113.195") |
| 42 | (defnet dmz "81.187.238.128/28") |
| 43 | (defnet distorted.org.uk-aaisp "2001:8b0:c92/48" |
| 44 | (unsafe "1/64" |
| 45 | (dhcp "6468:6370/96")) |
| 46 | (dmz "fff/64") |
| 47 | (safe "4001/64") |
| 48 | (untrusted "8001/64")) |
| 49 | |
| 50 | ;; Externally routed colo range. |
| 51 | (defnet jump "212.13.198.66/28") |
| 52 | (defnet jump "2001:ba8:0:1d9/64") |
| 53 | (defnet distorted.org.uk-jump "2001:ba8:1d9/48" |
| 54 | (colo "2/64") |
| 55 | (any "0/64") |
| 56 | (vpn "6000/64") |
| 57 | (upn "a000/64")) |
| 58 | |
| 59 | ;;;-------------------------------------------------------------------------- |
| 60 | ;;; Host allocations |
| 61 | |
| 62 | ;; External addresses. |
| 63 | (defhost guvnor.dmz ((:ipv4 gw 0) (:ipv6 dmz "::1:1"))) |
| 64 | (defhost radius.dmz (dmz 1)) |
| 65 | (defhost roadstar.dmz (dmz 2)) |
| 66 | (defhost jem.dmz (dmz 3)) |
| 67 | (defhost artist.dmz (dmz 4)) |
| 68 | (defhost vampire.dmz (dmz 5)) |
| 69 | (defhost universe.dmz (dmz 6)) |
| 70 | (defhost ibanez.dmz (dmz 9)) |
| 71 | (defhost anon.dmz (dmz 12)) |
| 72 | (defhost nat.dmz ((:ipv4 dmz 14))) |
| 73 | |
| 74 | ;; Colocated addresses. |
| 75 | (defhost gate.jump ((:ipv6 jump 2))) |
| 76 | (defhost fender.jump (jump 5)) |
| 77 | (defhost precision.jump (jump 6)) |
| 78 | (defhost telecaster.jump (jump 7)) |
| 79 | (defhost stratocaster.jump (jump 8)) |
| 80 | (defhost jazz.jump (jump 9)) |
| 81 | (defhost jaguar.jump ((:ipv4 jump 11) (:ipv6 jump "::2:1"))) |
| 82 | (defhost richmond.jump ((:ipv4 jump 12) (:ipv6 jump "::1:1"))) |
| 83 | (defhost anon.jump (jump 13)) |
| 84 | (defhost blackhole.jump ((:ipv4 jump 14) (:ipv6 jump "::ffff"))) |
| 85 | |
| 86 | ;; Linode virtual hosts. |
| 87 | (defhost national.linode ((:ipv4 "45.33.118.239") |
| 88 | (:ipv6 "2600:3c00::f03c:91ff:fe3b:d7c1"))) |
| 89 | |
| 90 | ;; Unsafe network. |
| 91 | (defhost radius.unsafe (unsafe 1)) |
| 92 | (defhost roadstar.unsafe (unsafe 2)) |
| 93 | (defhost jem.unsafe (unsafe 3)) |
| 94 | (defhost artist.unsafe (unsafe 4)) |
| 95 | (defhost vampire.unsafe (unsafe 5)) |
| 96 | (defhost universe.unsafe (unsafe 6)) |
| 97 | (defhost ibanez.unsafe (unsafe 14)) |
| 98 | (defhost groove.unsafe (unsafe 17)) |
| 99 | |
| 100 | ;; Client hosts, with IPv6 addresses. |
| 101 | (defhost gibson.unsafe ((:ipv6 unsafe "e269:95ff:fe63:bb4"))) |
| 102 | (defhost crybaby.unsafe ((:ipv6 unsafe "216:eaff:fec2:4cb8"))) |
| 103 | (defhost lespaul.unsafe ((:ipv6 unsafe "a00:27ff:fef5:aaef"))) |
| 104 | (defhost haze.unsafe ((:ipv6 unsafe "5056:a8ff:fe01:5654"))) |
| 105 | (defhost gretsch.unsafe ((:ipv6 unsafe "3a2c:4aff:fe6d:e768"))) |
| 106 | (defhost invader.safe ((:ipv6 safe "a00:27ff:fe94:a5d7"))) |
| 107 | (defhost marauder.safe ((:ipv6 safe "a00:27ff:fe6a:7846"))) |
| 108 | |
| 109 | ;; Safe network. |
| 110 | (defhost radius.safe (safe 1)) |
| 111 | (defhost vampire.safe (safe 2)) |
| 112 | (defhost evolution.safe (safe 3)) |
| 113 | (defhost grigsby.safe (safe 4)) |
| 114 | (defhost carling.safe (safe 5)) |
| 115 | (defhost tritan.safe (safe 6)) |
| 116 | |
| 117 | ;; Wireless network. |
| 118 | (defhost radius.untrusted (untrusted 1)) |
| 119 | (defhost artist.untrusted (untrusted 2)) |
| 120 | (defhost vampire.untrusted (untrusted 3)) |
| 121 | |
| 122 | ;; Virtual private network. |
| 123 | (defhost crybaby.vpn ((:ipv4 vpn 1) (:ipv6 vpn "::1:1"))) |
| 124 | (defhost terror.vpn ((:ipv4 vpn 2))) |
| 125 | (defhost orange.vpn ((:ipv4 vpn 3) (:ipv6 vpn "::3:1"))) |
| 126 | (defhost haze.vpn ((:ipv4 vpn 4) (:ipv6 vpn "::4:1"))) |
| 127 | (defhost radius.vpn ((:ipv4 vpn 5) (:ipv6 vpn "::5:1"))) |
| 128 | (defhost precision.vpn ((:ipv4 vpn 6) (:ipv6 vpn "::6:1"))) |
| 129 | (defhost jazz.vpn ((:ipv4 vpn 7) (:ipv6 vpn "::7:1"))) |
| 130 | (defhost vampire.vpn ((:ipv4 vpn 8) (:ipv6 vpn "::8:1"))) |
| 131 | |
| 132 | ;; Untrusted private network. |
| 133 | (defhost national.upn ((:ipv4 upn 1) (:ipv6 upn "::1:1"))) |
| 134 | |
| 135 | ;; Iodine network. |
| 136 | (defhost jazz.iodine (iodine 1)) |
| 137 | |
| 138 | ;; Hippotat network. |
| 139 | (defhost jazz.hippo (hippo 1)) |
| 140 | (defhost crybaby.hippo (hippo 2)) |
| 141 | |
| 142 | ;; Special network for ITS. |
| 143 | ;; It doesn't understand point-to-point links, so we need a little net. |
| 144 | (defhost gw.its (its 1)) |
| 145 | (defhost mz.its (its 2)) |
| 146 | |
| 147 | ;; Internal (VPN) addresses for colocated services. |
| 148 | (defhost fender.colo (colo 1)) |
| 149 | (defhost precision.colo (colo 2)) |
| 150 | (defhost telecaster.colo (colo 3)) |
| 151 | (defhost stratocaster.colo (colo 4)) |
| 152 | (defhost jazz.colo (colo 5)) |
| 153 | |
| 154 | ;; Anycast addresses for services. |
| 155 | (defhost dns0.any ((:ipv4 any 0) (:ipv6 any "::0:1"))) |
| 156 | (defhost dns1.any ((:ipv4 any 1) (:ipv6 any "::1:1"))) |
| 157 | (defhost ntp0.any ((:ipv4 any 2) (:ipv6 any "::2:1"))) |
| 158 | (defhost ntp1.any ((:ipv4 any 3) (:ipv6 any "::3:1"))) |
| 159 | (defhost www-cache.any ((:ipv4 any 4) (:ipv6 any "::4:1"))) |
| 160 | (defhost krb0.any ((:ipv4 any 5) (:ipv6 any "::5:1"))) |
| 161 | (defhost krb1.any ((:ipv4 any 6) (:ipv6 any "::6:1"))) |
| 162 | |
| 163 | ;;;-------------------------------------------------------------------------- |
| 164 | ;;; Host switch. |
| 165 | |
| 166 | (preferred-subnet-case |
| 167 | ((unsafe colo) |
| 168 | (defhost radius radius.unsafe) |
| 169 | (defhost vampire vampire.unsafe) |
| 170 | (defhost precision precision.colo) |
| 171 | (defhost telecaster telecaster.colo) |
| 172 | (defhost stratocaster stratocaster.colo) |
| 173 | (defhost national national.upn)) |
| 174 | (t |
| 175 | (defhost radius radius.dmz) |
| 176 | (defhost vampire vampire.dmz) |
| 177 | (defhost precision precision.jump) |
| 178 | (defhost telecaster telecaster.jump) |
| 179 | (defhost stratocaster stratocaster.jump) |
| 180 | (defhost national national.linode))) |
| 181 | |
| 182 | (defhost jaguar jaguar.jump) |
| 183 | |
| 184 | ;;;----- That's all, folks -------------------------------------------------- |