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

2013-12-23 Thread Marin Ramesa
On 23/12/13 10:58:12, Richard Braun wrote: > 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 ?! Yes. I'm not running the Hurd. I plan on learning it after I finish with

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

2013-12-23 Thread Marin Ramesa
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

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

2013-12-23 Thread 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

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

2013-12-23 Thread Richard Braun
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