(defhost telecaster.jump (jump 7))
(defhost stratocaster.jump (jump 8))
(defhost jazz.jump (jump 9))
+(defhost jaguar.jump (jump 11))
(defhost richmond.jump (jump 12))
+(defhost anon.jump (jump 13))
(defhost blackhole.jump (jump 14))
;; Unsafe network.
;; Wireless network.
(defhost radius.untrusted (untrusted 1))
-(defhost evolution.untrusted (untrusted 2))
+(defhost artist.untrusted (untrusted 2))
(defhost vampire.untrusted (untrusted 3))
;; Virtual private network.
(defhost crybaby.vpn (vpn 1))
(defhost terror.vpn (vpn 2))
(defhost orange.vpn (vpn 3))
-(defhost mango.vpn (vpn 4))
;; Iodine network.
(defhost jazz.iodine (iodine 1))
(defhost krb0.any (any 5))
(defhost krb1.any (any 6))
-;;;--------------------------------------------------------------------------
-;;; Satellite networks.
-
-;; Binswood. Address range retroactively claimed from Cambridge G-RIN.
-(defnet binswood.org.uk 10.165.27.0/24
- (binswood 256))
-(defhost netgear.binswood (binswood 1))
-(defhost linksys.binswood (binswood 2))
-(defhost mango.binswood (binswood 3))
-
;;;--------------------------------------------------------------------------
;;; Host switch.