Contents of Linux Installed files: the kernel, the kernel headers, and the System.map