SYNOPSIS void kernel_halt(void); ARGUMENTS void no arguments DESCRIPTION Shutdown everything and perform a clean system halt. COPYRIGHT