Re: Rework of the userspace interrupt handling patch

2016-03-05 Thread Justus Winter
Hi,

Quoting Robert Millan (2016-03-05 11:20:35)
> El 28/02/16 a les 00:33, Justus Winter ha escrit:
> > This requires a tiny change to libddekit.  I'll send it as a
> > follow-up.  With it libddekit supports both the new and old kind of
> > notification to make upgrades painless.
> 
> This sounds like it could affect the implementation in Rump, which is partly
> based on libddekit. Did you take this into account?

It will, and no, I didn't.  Note that the interface is not fixed yet,
we did not merge it into master for a reason.

> See the code in:
> 
>   
> https://github.com/rumpkernel/pci-userspace/blob/master/src-gnu/pci_user-gnu.c#L169

The patch id:1456616530-2230-1-git-send-email-jus...@gnupg.org will
take care of that as well.

Cheers,
Justus



Re: Coppyright assignment

2016-03-05 Thread Justus Winter
Quoting Ludovic Courtès (2016-03-04 16:35:26)
> Justus Winter <4win...@informatik.uni-hamburg.de> skribis:
> 
> > Quoting Ludovic Courtès (2016-03-04 13:49:09)
> >> Justus Winter <4win...@informatik.uni-hamburg.de> skribis:
> >> 
> >> > I have learned that not all GNU projects require this.  For example,
> >> > GnuPG uses DCO [0], and Guix doesn't even seem to require that.
> >> >
> >> > Maybe we can change this policy for Hurd, GNU Mach, and MIG too?
> >> 
> >> I general, we “cannot” (i.e., are invited not to) change GNU packages
> >> from requiring-assignment to no-assignment policy (although I guess
> >> GnuPG did exactly that…).
> >
> > So one can do that.
> 
> Everything can be done, but ultimately it’s a matter of reaching
> consensus.
> 
> > I see it as an barrier for contributing.
> 
> Right, but whether it’s a good idea depends on a number of other
> factors.  For Guix, copyright assignment would have been a hindrance
> IMO, but what’s at stake is different than for libc or GCC, for
> instance.

I'm not talking about glibc or gcc of course.

> >> Hopefully paperwork is fast enough these days anyway.
> >
> > I don't know how it is nowadays (maybe someone can enlighten us?), but
> > when I did that like three years ago the process took weeks and
> > required quite a bit of nagging.
> 
> Use of PDFs has helped a bit:
> 
>   https://www.gnu.org/prep/maintain/html_node/Copyright-Papers.html
> 
> as well as digital signatures in some cases:
> 
>   
> https://www.fsf.org/blogs/licensing/fsf-to-begin-accepting-gpg-signed-assignments-from-the-u-s
>   
> https://www.fsf.org/blogs/licensing/fsf-to-begin-accepting-gpg-signatures-for-copyright-assignments-from-italy

I did use the PDFs, which I printed, signed, scanned, and emailed.
And then it took weeks of nagging.  I don't see how digital signatures
could have helped.

Justus



Re: Rework of the userspace interrupt handling patch

2016-03-05 Thread Robert Millan

Hi Justus

El 28/02/16 a les 00:33, Justus Winter ha escrit:
> This requires a tiny change to libddekit.  I'll send it as a
> follow-up.  With it libddekit supports both the new and old kind of
> notification to make upgrades painless.

This sounds like it could affect the implementation in Rump, which is partly
based on libddekit. Did you take this into account?

See the code in:

  
https://github.com/rumpkernel/pci-userspace/blob/master/src-gnu/pci_user-gnu.c#L169

and precompiled testcase in:

  https://people.debian.org/~rmh/rump/apt/

Thanks!

-- 
Robert Millan