added kernel docs