HP Visualize c3700 Owner's Manual page 158

The Boot Console Interface
Booting Your System
For example, if the usual kernel (/stand/vmunix) on your root disk
(scsi.6.0) has become corrupted, and you wish to boot your system
from the backup kernel (/stand/vmunix.prev), type the following
at the ISL> prompt and press Enter:
ISL> hpux /stand/vmunix.prev
• If you do not know which media in your file systems have bootable
operating systems, you can find them with the search ipl command.
See the subsequent section "Searching for Bootable Media."
158 Chapter 5