User`s guide

User Guide
282
www.bull.com
Boot Manager Menu
Allows you to boot the system using one of the items listed below (depending on your
system).
Launch EFI Shell
Primary Master CD-ROM
SATA Port 0 Hard disk
IBA GE Slot 0500 v1236
[EFI Shell]