TS700-E7/RS8
7-13
Chapter 7
3. Press <F6>, then select Yes from the menu. Press <Enter>.
4. Use the USB drive to provide the third-party driver during the OS installation.
Type the command brokenmodules=ahci in Boot Options field, and press
<Enter>.