KERNEL(1M) — Silicon Graphics
NAME
kernel − install a default kernel
SYNOPSIS
kernel [ type ]
DESCRIPTION
Kernel installs a kernel as /defaultboot (for the prom monitor) and /vmunix (for ps(1), w(1), and other such commands). The kernel is taken from the /kernels directory, and is referred to by its suffix (e.g. xns, tcp, nfs). It is linked to /vmunix and /defaultboot.
When invoked with no arguments, the command will report which kernel is currently installed.
The kernel can be changed only by the superuser, and should be immediately followed by a system reboot to execute the new kernel.
Please note that copying a kernel from the kernels directory to either defaultboot or vmunix will overwrite the kernel that is currently linked to them. Always use /etc/kernel to switch kernels.
FILES
/kernels directory containing kernels
EXAMPLE
kernel xns
This command will install the XNS kernel as the default kernel.
kernel
This command will indicate which kernel is installed.
Version 3.6 — December 20, 1987