Thanks to Owen Dunn for pointing me at some excellent names.
(evolution :alias evo)
;; Switches.
- (tp0 (safe :addr tp0.safe))
- (tp1 (safe :addr tp1.safe))
- (tp2 (safe :addr tp2.safe))
+ (grigsby :alias tp0)
+ (grigsby (safe :addr grigsby.safe))
+ (carling :alias tp1)
+ (carling (safe :addr carling.safe))
+ (tritan :alias tp2)
+ (tritan (safe :addr tritan.safe))
;; Wired ethernet.
(unsafe :net unsafe)
(defhost radius.safe (safe 1))
(defhost vampire.safe (safe 2))
(defhost evolution.safe (safe 3))
-(defhost tp0.safe (safe 4))
-(defhost tp1.safe (safe 5))
-(defhost tp2.safe (safe 6))
+(defhost grigsby.safe (safe 4))
+(defhost carling.safe (safe 5))
+(defhost tritan.safe (safe 6))
;; Wireless network.
(defhost radius.untrusted (untrusted 1))