I have the following options...
f1 system information
f2 system diagnostics
f7 hp sparekey
f9 boot device options
f10 bios setup
f12 network boot
f1 system information
f2 system diagnostics
f7 hp sparekey
f9 boot device options
f10 bios setup
f12 network boot