Guide de l'utilisateur
Menu Boot Manager
Il vous permet d'amorcer le système en utilisant l'une des options répertoriées ci-
dessous (selon le système dont vous disposez).
■ Launch EFI Shell
■ Primary Master CD-ROM
■ SATA Port 0 Hard disk
■ IBA GE Slot 0500 v1236
■ [EFI Shell]
261
www.bull.com