My understanding is that the Galileo board comes setup with an EFI enabled BIOS. Does this BIOS contain and allow access to the EFI Shell?
Since there is no direct video support on the Galileo board or the Quark processor I would expect the EFI interface to be through the UART serial port.
(Asking this in anticipation of what to expect when I eventually get a Galileo board.
Michael Karas