formatted manual pages for kernel programming

.