<!> up-to-date: '''kernel 3.2.54'''. (Always read current kernel sources!) This topic has maintainer B) ["rfree"]

vmlinux is the binary image of kernel
vmlinuz is file with compressed version of vmlinux

see inside:
 * ["/asm-notes"] the .notes section