On Sun, Feb 2, 2014 at 5:27 PM, <[email protected]> wrote: > Le 02.02.2014 21:46, Tom H a écrit :
>> Have you tried to switch to "bootmgfw.efi" through your firmware? > > Which firmware? Pressing the appropriate F-key at boot; or, if you have a recent version of grub, typing "fwsetup" at the grub commandline. >> Running "efibootmgr" should display all the values that your firmware >> knows about and the order in which they classified. > > I'll install this tool and check what it gives tomorrow, thanks. It should already be installed. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/CAOdo=szywrf_ojrqmck-gvolf1mocnub-bm2wu-onq5qy5o...@mail.gmail.com

