Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
There is a nice summary of the function keys in the post Booting to the Boot Menu and BIOS .
Digital Storm Workstation:¶
F2: BIOS
F11: Boot menu selection (you can also go to BIOS from this menu)