Intel Galileo Board - Page 10

Intel
®
Galileo Board Getting Started Guide
10 Order Number: 329685-002US
At the GRUB command line, type quit.
6. The serial console displays a boot device selection box (below).
Select UEFI Internal Shell.