On 04/12/2017 02:03 PM, Pascal Hambourg wrote:
Le 12/04/2017 à 20:33, Richard Owlett a écrit :
On 04/12/2017 12:13 PM, Pascal Hambourg wrote:
[snip]
- while the SD card is inserted, in the GRUB menu press "c" to enter a
GRUB shell and report the result of the "ls" command.
(hd0) (hd0, msdos9) (hd0, msdos8) (hd0, msdos7) (hd0, msdos6)
(hd0, msdos5) (hd0, msdos1) (hd1) (hd1, msdos1)
Some BIOS expose a removable media only when booting from it, so my
theory was that your BIOS did not expose the SD card and GRUB could
not see it. The result of ls proves me wrong.
Can you also report the output of "ls (hd1,msdos1)" to check what GRUB
sees of the partition on the card ?
It gives the partitioning description, UUID, and label of the USB flash
drive that was plugged in. It is FAT formatted and used to exchange
information with my Windows machine.