added kernel.txt