Per impostare il BIOS per Linux

1. Accendere la workstation.

2. Quando viene visualizzata la schermata del logo Sun, premere il tasto F2 per accedere al menu di configurazione del BIOS.

3. Selezionare Advanced (Avanzate) => Integrated Devices (Periferiche integrate).

4. Se necessario, impostare su AHCI la voce Configured SATA as.

5. Premere il tasto F10 per salvare le modifiche e uscire dal BIOS.