Create kernel.txt