A bunch of the machines are not set to autoboot. We should fix this, but until we do, log into davison, and…

telnet spiderport <n>

where N is the last octet of the ip of the machine. Hit enter, and if you get a go prompt, type boot to start the machine up.

If the Spiderport powercycles, it will probably send a break to all the machines. Repeat the above procedure for all the machines.

Wait for everything to come up, and

sudo mount -a

on mccoy and gallifrey.

Login in davison, run /root/tardis-firewall, test that everything is ok (you have two minutes), and then atrm <jobid>, as sugggested.