manual pages source for kernel programming
