Scroll to navigation
kernel_halt - halt the system
void kernel_halt(void);
void
Shutdown everything and perform a clean system halt.