"To Set the BIOS for Linux 1. Power on the workstation. 2. Press the F2 key at the Sun logo screen to enter the BIOS Setup menu. 3. Go to Advanced > Integrated Devices. 4. If necessary, change the Configured SATA as option to AHCI. 5. Press the F10 key to save your changes and exit the BIOS."