bugThe GNU Hurd - Bugs: bug #49024, gnumach Git repo includes GPLv3+...


bug #49024: gnumach Git repo includes GPLv3+ material but omits GPLv3 text

Submitted by:  Kalle Olavi Niemitalo <kon>
Submitted on:  Wed 07 Sep 2016 09:24:34 PM UTC  
Category:  GNU Mach Severity:  3 - Normal
Priority:  5 - Normal Item Group:  None
Status:  Fixed Privacy:  Public
Assigned to:  None Originator Name: 
Open/Closed:  Closed Reproducibility:  None
Size (loc):  None Planned Release:  None
Effort:  0.00
Wiki-like text discussion box: 

Retitled and fixed as per the proposed inclusion of GPL3 text


Add a New Comment (Rich Markup)

You are not logged in

Please log in, so followups can be emailed to you.


Sun 25 Nov 2018 09:44:25 AM UTC, comment #3:

The gsync files were relicensed in commit c8e687cb8a6ba8f278c58bf78126f843ceb292bb on 2016-10-31, and the ACPI files were deleted in commit c387012395ec83dbdad5e9a1e31f3a214337d064 on 2016-11-06.

gitlog-to-changelog has not been relicensed nor deleted. It and the deleted files remain in the Git repository, which still does not include a copy of GPLv3. ("git log -S'29 June 2007' --all" finds nothing.) Luckily though, "make dist" does not add gitlog-to-changelog to gnumach-*.tar, so only people publishing copies of the gnumach Git repository are at risk of unintentionally violating GPLv3.

The text of GPLv3 should be added to the repository, and terminated licenses might then be reinstated per GPLv3 section 8.

I would like to retitle this bug report to "gnumach Git repo includes GPLv3+ material but omits GPLv3 text" but it seems I don't have the necessary privileges.

Kalle Olavi Niemitalo <kon>
Mon 31 Oct 2016 07:36:48 PM UTC, comment #2:

I think the first step should be to import the GPLv3 license text to the source tree. Even if the GPLv3-or-later files were eventually deleted from the source tree, they would probably be left in the Git history. Having the GPLv3 license text likewise in the Git history would reduce the risk that other parties inadvertently violate the license when they distribute clones of the GNU Mach Git repository.

Kalle Olavi Niemitalo <kon>
Sat 10 Sep 2016 10:03:14 AM UTC, comment #1:

I previously listed GPLv2-only files that carry their own license notices. The GNU Mach tree also contains Linux source files that do not contain a license notice; then, linux/src/COPYING specifies GPLv2 for them. linux/dev/drivers/block/genhd.c is one such GPLv2-only file, and it is compiled in. Thus, it seems there is indeed a license conflict.

The licenses were not discussed in the bug-hurd thread where the i386/grub/ code was imported:


In the earlier "GPLv3 and Hurd" discussion, Thomas Bushnell, BSG wrote that "the use of the Linux drivers means that the project as a whole can only be distributed under the GPLv2":


A preferable outcome would be if the FSF relicenses the GPLv3-or-later files to GPLv2-or-later. I hope nobody's rights on the Linux files have become terminated per GPLv2 section 4.

Kalle Olavi Niemitalo <kon>
Wed 07 Sep 2016 09:24:34 PM UTC, original submission:

These files in gnumach carry notices saying that they are licensed under GPLv3-or-later:

  • i386/grub/acpi.h
  • i386/grub/compiler.h
  • i386/grub/cpu/io.h
  • i386/grub/cpu/time.h
  • i386/grub/cpu/types.h
  • i386/grub/err.h
  • i386/grub/misc.h
  • i386/grub/mm.h
  • i386/grub/symbol.h
  • i386/grub/time.h
  • i386/grub/types.h
  • i386/i386at/acpi.c
  • i386/i386at/acpihalt.c
  • kern/gsync.c
  • kern/gsync.h
  • gitlog-to-changelog (not used during the build)

The gnumach source tree however does not include a copy of the GPLv3.

These files in gnumach carry notices saying they are dual licensed under MPLv1.1 or GPLv2-only:

  • linux/pcmcia-cs/include/pcmcia/bulkmem.h
  • linux/pcmcia-cs/include/pcmcia/bus_ops.h
  • linux/pcmcia-cs/include/pcmcia/ciscode.h
  • linux/pcmcia-cs/include/pcmcia/cisreg.h
  • linux/pcmcia-cs/include/pcmcia/cistpl.h
  • linux/pcmcia-cs/include/pcmcia/cs.h
  • linux/pcmcia-cs/include/pcmcia/cs_types.h
  • linux/pcmcia-cs/include/pcmcia/driver_ops.h
  • linux/pcmcia-cs/include/pcmcia/ds.h
  • linux/pcmcia-cs/include/pcmcia/mem_op.h
  • linux/pcmcia-cs/include/pcmcia/ss.h
  • linux/pcmcia-cs/modules/bulkmem.c
  • linux/pcmcia-cs/modules/cirrus.h
  • linux/pcmcia-cs/modules/cistpl.c
  • linux/pcmcia-cs/modules/cs.c
  • linux/pcmcia-cs/modules/cs_internal.h
  • linux/pcmcia-cs/modules/ds.c
  • linux/pcmcia-cs/modules/ene.h
  • linux/pcmcia-cs/modules/i82365.c
  • linux/pcmcia-cs/modules/i82365.h
  • linux/pcmcia-cs/modules/o2micro.h
  • linux/pcmcia-cs/modules/ricoh.h
  • linux/pcmcia-cs/modules/rsrc_mgr.c
  • linux/pcmcia-cs/modules/smc34c90.h
  • linux/pcmcia-cs/modules/ti113x.h
  • linux/pcmcia-cs/modules/topic.h
  • linux/pcmcia-cs/modules/vg468.h
  • linux/pcmcia-cs/modules/yenta.h
  • linux/pcmcia-cs/wireless/hermes.c
  • linux/pcmcia-cs/wireless/orinoco.c

These files in gnumach carry notices saying they are licensed under GPLv2-only:

  • linux/src/drivers/scsi/BusLogic.c
  • linux/src/drivers/scsi/BusLogic.h
  • linux/src/include/net/ax25.h

As the FSF says neither GPLv2-only nor MPLv1.1 is compatible with GPLv3-or-later, it seems there is a license conflict if these files are actually linked in.


The Debian gnumach package does not seem to build the pcmcia and BusLogic drivers. Anyway, it is surely a bug that the GPLv3-or-later files are included without a copy of the license.

Kalle Olavi Niemitalo <kon>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by sthibaul (Updated the item)
  • -email is unavailable- added by kon (Submitted the item)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.




    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2018-11-25 sthibaul StatusNone => Fixed
        Open/ClosedOpen => Closed
        Summarygnumach links with GPLv3+ material but omits GPLv3 text => gnumach Git repo includes GPLv3+ material but omits GPLv3 text
        Wiki-like text discussion box => Retitled and fixed as per the proposed inclusion of GPL3 text Thanks!

    Back to the top

    Powered by Savane 3.4