On Sun, Dec 22, 2013 at 11:56:39PM +0100, Marin Ramesa wrote: > Can you please show me the gnumach menuentry generated by grub?
How about looking at the documentation ? For example http://www.gnu.org/software/grub/manual/grub.html#GNU_002fHurd -- Richard Braun