Kernel Documentation generator To generate documentation just run: doxygen Doxyfile The examples can also be compiled (assuming a system-wide installation of the dynamic kernel library) by running make.