Re: licensing of intloop() in libddekit/interrupt.c

[Olaf Buddenhagen <olafbuddenhagen@gmx.net>]

Hi Robert,

On Sun, Nov 08, 2015 at 09:39:49PM +0100, Robert Millan wrote:

> I have thus merged the remaining bits of GNU/Hurd port
[...]
> with this commit the port is now complete.

Great! :-)

I was wondering, now that this part is done, whether you intended also
to work on the next steps towards integrating Rump drivers in the Hurd?

-antrik-