Re: Are register names and locations under copyright?
On Wed, Jan 10, 2018 at 9:11 PM, Philipp Klaus Krause wrote:
> Problem: Hardware vendors want to impose non-free terms on the header
> files (via a copyright claim on the files that the headers were
> generated from).
I think we need more details. Are the files the headers were generated
from publicly available? Do they list any copyright/license
> Are the register names and locations under copyright? Is the generated
> header file under copyright? If yes, who are the owners of the
> copyright? Does the situation vary across jurisdictions?
> SDCC developers are currently unsure about this.
I would strongly suggest SDCC developers obtain legal advice on this
topic, especially in light of Oracle v Google.
Software Freedom Conservancy may be able to help with this:
> For some targets, SDCC already has such files (e.g.
I note this in the file you mention:
* This file is generated automatically by the cinc2h.pl, 2016-04-13
In addition to the hardware vendors copyright issue, clearly this
header is not the source form under the GPL's "preferred form for
modification" requirements, nor under DFSG item 2 and therefore Debian
cannot distribute it without the source.