Changes for DETER nodes (733Mhz)

tmcd/freebsd/control_interface

@@ -9,7 +9,7 @@
 
 NODETYPE=`$BINDIR/nodetype`
 case $NODETYPE in
-pc300|pc850|i2|pc1800)
+pc300|pc733|pc850|i2|pc1800)
     echo 'fxp0'
     ;;
 pcL440GX)

tmcd/freebsd/cpuspeed.awk

 #!/usr/bin/awk -f
 #
 # EMULAB-COPYRIGHT
-# Copyright (c) 2000-2003 University of Utah and the Flux Group.
+# Copyright (c) 2000-2004 University of Utah and the Flux Group.
 # All rights reserved.
 #
 
@@ -29,6 +29,10 @@
     print "850";
     exit
 }
+/^CPU:.*\((72[0-9]|73[0-9])\.[0-9]+\-MHz/ {
+    print "733";
+    exit
+}
 /^CPU:.*\(6[0-9][0-9]\.[0-9]+\-MHz/ {
     print "600";
     exit