kernel set up