How do I set a boot key for my HP EliteBook?

Press and hold the F9 key when powering on the computer until you see the available boot devices listed on screen. Choose the preferred device from the options.