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

[Richard Braun]

On Sun, Dec 22, 2013 at 11:56:39PM +0100, Marin Ramesa wrote:
> 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?

Now that I think about it, you should already have at least one such
entry on your system, whether Debian or not. Or are you saying you're
not even running the Hurd at all ?!

-- 
Richard Braun