reboot [options] [<reason>]
Display help.
The reboot reason to use. If not specified, defaults to 0x40000000 which is KtRestartReasonSoftRestart in most baseports. [uint]
Reboot the device, using Kern::Restart().
Copyright (c) 2006-2010 Accenture. All rights reserved.