How do I reboot my assigned machine?

1.  Ssh to osconsole and login with your cereal username and password.



2.  Type "2" to access the hardware reboot menu.



3.  You will be prompted to confirm the reboot.  Type "1" to confirm the reboot.  Type "2" to cancel.

Note:  This is a "hard reboot".  It is exactly like unplugging a machine and plugging it in again.  This should only be neccessary if your kernel fails to load.

4. After typing "1" for yes, you should see something like the following:

5.  After the reboot is complete, you will be returned to the main menu.