On 23/12/13 10:54:47, Richard Braun wrote: > 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
Yes, I've read it and tried it, it doesn't work. I guess I'll have to install Debian.