Do you really want to send Richard a message saying you like their work?
Standard location of the unix kernel in many distributions of unix. May be gzipped in linux to be vmlinux.gz.