On Linux systems, if the kernel is located in /, we recommend using the names vmlinux or vmlinuz, which have been used in recent Linux kernel source packages.
Previous: Linux Next: /dev : Devices and special files Up: Table of Contents