Hi, I tried downloading and installing the debian package: dpkg -i linux-manual-3.9_3.9.6-1~bpo70+1_all.deb After this, I do have man files under: /usr/share/man/man9 However, man kmalloc() and any other kernel methods does not work. I also ran "mandb" but it did not help. Any ideas? regards, DS