Because of a two-steps deep problem, I need to boot into an EFI shell and run gptsync. I downloaded the flashdrive binaries of rEFInd 0.7.4, used dd to write the image to a thumbdrive, and it seems to boot fine. However, when I select the little shell icon to boot, it flashes to the shell UI and hangs with the following text on the screen:
Starting shellx64.efi
Using load options ''
And that's it. Am I supposed to configure something to get the shell working?
This is most likely an incompatibility between the EFI shell you're trying to run and your computer's firmware. I recommend you try other EFI shells. One that comes with rEFIt is most likely to work on Macs (especially older ones), but there are a number of additional links here and elsewhere. (Try doing a Web search for "EFI shell binary" or something similar.)
Unfortunately, every EFI shell binary I've run across has problems on some computers, so providing one that's universally usable seems to be difficult or impossible. Note that Macs have 1.x versions of EFI, which means they're most likely to work with the older EFI shell v1 rather than the newer v2
