Re: [PATCH] kern: simple futex for gnumach (version 3)

[Marin Ramesa]

On 22/12/13 22:04:15, Richard Braun wrote: 
> Whether it's in a virtual machine or a real one doesn't matter at 
> all. On Debian, simply copy the gnumach binary to /boot and run
> update-grub. You'll get a new entry at boot time for your kernel.

I don't have the update-grub command (I'm not using Debian). So I have 
to modify files by hand and when I write 'multiboot /boot/gnumach.gz' I 
get a 'invalid magic number' error at boot time.

Can you please show me the gnumach menuentry generated by grub?

Thanks.