1. NAME

kernel_halt - halt the system

2. SYNOPSIS

void kernel_halt( void );

3. ARGUMENTS

void
    no arguments

4. DESCRIPTION

Shutdown everything and perform a clean system halt.

5. COPYRIGHT