The F12 One Time Boot menu displays the devices that you can boot from including the diagnostic option. The boot menu options are:
The boot sequence screen also displays the option to access System Setup.