added kernel documentation generator