On 2016-11-08 08:19, jdd wrote:
I was said, but have never experimented that some computers don't have a bios key but have a "reboot on bios" option - specially windows 10 ones.
This is true, a friend of mine has one and is a real pain. W10 has hooks to interact with UEFI settings directly from inside Windows. My friend's machine was updated to Windows 10, and W10 apparently also upgraded or did some thing to the UEFI firmware, and things broke badly. He can not press a button to BIOS and change things before Windows tries to boot (like booting from external media), and with the current settings things are broken. The laptop fails to wake up or boot randomly. If I remember correctly he tries to keep the thing in W7 or 8. -- Cheers / Saludos, Carlos E. R. (from 13.1 x86_64 "Bottle" at Telcontar)