Proface PS4800 - 19 Panel PC" - Manual (Page 75)

PS-4600 Series User Manual
75
NOTE: Keys input from the USB keyboard are only registered after the USB
controller has been initialized.
F11 Displays the boot menu. Lists all bootable devices that are connected to the
system. Use the up cursor
 and down cursor  and then press the [Enter] key
to select the boot device.
Pause Pressing the [Pause] key stops the POST. Press any other key to resume the
POST.
Key Function