Create kernel.lua