Filesystem Hierarchy Standard
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
Translated by troff2html v1.4 on 13 January 2001 by Daniel Quinlan