Samsung NP940X3G-K03US - Manual (Page 53)

Basics
53
Boot priority
Change the boot priority from the BIOS setup.
1
Turn on the computer.
2
Before the Samsung logo appears, press the F2 key several
times.
3
Access the Boot menu.
4
Select Boot Device Priority.
5
Click an option menu to open the list.
6
Select an option.
7
Select Save → Yes to save and restart.
Select Exit → Yes to restart without saving the changes.
To boot to DOS when using a USB device, enter the BIOS
setup, select the Boot menu, and set the Fast BIOS Mode
item to Off.