[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

Apologies, I forgot to CC bug-hurd.

El 07/11/15 a les 12:11, Robert Millan ha escrit:
> Unfortunately I didn't get any reply from Zheng Da. Does someone know if Zheng is
> using another email address nowadays?
> In case he can't be reached anymore, I traced origin of the intloop() routine and
> found that:
> 0. The copyright header in interrupt.c mentions Thomas Friebel <tf13@os.inf.tu-dresden.de>
>    and Christian Helmuth <ch12@os.inf.tu-dresden.de> as authors, however this doesn't
>    affect the code I'm importing (see #2).
> 1. The copyright-significant bits which have actually been used in my work are
>     exclusively made of code committed to Debian hurd.git:
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=8a1bc5a21ade1a3aeedbb552315ff1ed5da6d7aa
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=40bd937d601627bc9604c5d7d8c528643358b3a7
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=dcd71f277d3fa4615b86e772a4f649d25981dd02
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=63e2a076f77620867d80500b1510f70f5e093a82
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=92e2538dd9825f83d8f961fe85630ebe0bfd4f40
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=2727b6bd16489e8592d3b45faee1f42c00ce2804
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=8a4668dfd4106f26bf5bf6ed69717eb06a3628db
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=1c5442e1fc9d4dfc71c7ce20900436897afcabf8
> 2. Initial commit by Zheng (6f5290eeb41219ea8b81f6df3ffceb0f4614cdd1) is an import commit
>    and includes code written by others, however none of the code in that commit is included
>    in my work (since I'm only interested in the GNU Mach interaction bits which were added
>    after that).
> 3. The remaining (Samuel's) commits affecting this routine are trivial renames, not significant
>    for copyright purposes:
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=56b24422cad2f61ca9d1456e3cf755f53809caa3
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=321bb5dac2409552cf3db5bce8f9462a45cbcf5d
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=2f7814d3d8b629c85e3ea0d9f12f6d2a8daab931
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=6d61151e937510dcb7a4977975bb750eb7ae624c
> https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=pkg-hurd/hurd.git;a=commit;h=22481555a880bb5fe3b87b6f6fd74ed58fa91e7f
> With this we have "Copyright (C) 2009, 2010 Zheng Da", but still no licensing information.
> Since Zheng committed it to pkg-hurd, I understand it's common convention to assume
> Zheng's code is licensed under the same terms?
> Unfortunately this gets a bit confusing: some parts of the Hurd are GPLv2 and some are GPLv2+.
> Then the file Zheng was modifying [1] is imported from DDE/L4 which is GPLv2 [2].
> [1] http://svn.tudos.org/repos/tudos/trunk/l4/pkg/dde/ddekit/src/interrupt.c
> [2] http://svn.tudos.org/repos/tudos/trunk/l4/pkg/COPYING
> What should we make of this? It's somewhat relevant as the code will be linked into librumpdev_pci,
> which in turn will be linked by its final users in the application layer.
> Please advise...
> El 16/08/15 a les 22:33, Robert Millan ha escrit:
>> Hi Zheng Da,
>> First of all, allow me to show you my appreciation for your effort on integrating
>> DDE with the Hurd. The groundwork on creating facilities that enable userspace
>> drivers has been greatly helpful on this little project of mine.
>> Just to put you in context, I've ported Rump (http://rumpkernel.org/) to GNU/Hurd
>> and written some extensions that allow it to run its own PCI drivers in userspace.
>> For that I used the same facilities in Gnu Mach that libddekit is using, and also
>> imported some the code in libddekit for userspace interrupt management. Olaf (see
>> below) believes that this code was written by you:
>> El 16/08/15 a les 21:02, Olaf Buddenhagen ha escrit:
>>> On Sun, Aug 16, 2015 at 01:09:59PM +0200, Robert Millan wrote:
>>>> * It includes code from other people under GPLv2;
>>>>    - intrthread() is heavily based on intloop() from
>>>>    hurd/libddekit/interrupt.c
>>> I haven't checked, but I assume this is form a Hurd-specific part of
>>> DDE, which has been implemented by Zheng Da for the Hurd port
>>> specifically? If so, we could try contacting him.
>> Is this correct?
>> I'm currently trying to merge the resulting code into Rump. This raises the
>> question on which license is the code in intloop() under. By lack of any other
>> statement one would have to assume it's GPLv2.

Robert Millan

Reply to: