Name
kernel_restart —
reboot the system
Synopsis
void kernel_restart (char * cmd);
Arguments
cmd
pointer to buffer containing command to execute for restart
or NULL
Description
Shutdown everything and perform a clean reboot.
This is not safe to call in interrupt context.