Lines Matching refs:kernel

495 	local kernel = other_kernel or loader.getenv("kernel")
537 	if kernel == nil then
555 			kernel = other_kernel
559 		local paths = {"/boot/" .. kernel, kernel}
567 				config.kernel_loaded = kernel
579 		res = tryLoad(kernel)
581 			config.kernel_loaded = kernel
584 			print(MSG_KERNFAIL:format(kernel))
590 function config.selectKernel(kernel)
591 	config.kernel_selected = kernel
625 	local kernel = config.kernel_selected or config.kernel_loaded
636 	loaded = config.loadKernel(kernel)