added commands to launch kernel