UEFI: After upgrade from Windows 8 to Windows 8.1, F19 grub menu does not appear

[Chris Murphy]

On Nov 23, 2013, at 12:49 AM, Fernando Cassia <fcassia at gmail.com> wrote:

> Sounds like a good reason to contact HP and tell them to fix this, open an incident#.
> Maybe they need to fix their UEFI…

Fix it how? What exactly in the spec is being violated by the current behavior? Before asking them to do something, there should be some clarity in what the problem and solution is. A lot of lee way is given in the spec to the built-in boot manager, which BTW is a huge chunk of what GRUB is rather than as a boot loader.

Chris Murphy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.fedoraproject.org/pipermail/users/attachments/20131123/fdf4c5c9/attachment.html>