added kernel.txt documentation