Name

kernel_halt — halt the system