On 9/21/13 1:05 AM, Russell Senior wrote: > Is grub-emu.info different than grub.info? I don't see any mention of grub-emu in the grub main (man/info) page. It is a special userspace version for a few specific uses. Feel free to grill your distro for "grub-emu" Thanks, Michael