kernel_run
