formatted manual pages for kernel programming
