Name

kernel_restart — reboot the system