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

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 for

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 Yes,

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