See also the 'reboot' (or is it the 'poweroff' ?) command, which is much more direct than the Linux equivalent...