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. COPYRIGHT