Re: Would like to form a pool of Linux copyright holders for fasterGPL enforcement against Anthrax Kernels

From: luke.leighton
Date: Sun May 19 2013 - 08:35:08 EST

On Sun, May 19, 2013 at 12:19 PM, Jonas Gorski
<jonas.gorski+gpl@xxxxxxxxx> wrote:

> But dual license means the license taker may chose which license to
> apply, not that you can dictate which one to use.


> And as long as any
> part of the kernel is GPLv2 (no +), (s)he can't choose anything except
> GPLv2, as GPLv2 and GPLv3 are incompatible.

that doesn't sound right. actually, this is a very very important
misunderstanding, jonas.

you *can* choose GPLv3 code. what you can choose is: *only* those
files of the linux kernel that are released under GPLv3.

pseudo-algorithm in bash script and maybe a bit of python:

$ filenames_gplv3 = `find . | xargs grep -l GPLv3`
$ filenames_gplv2 = `find . | xargs grep -l GPLv2`
$ files_to_delete = []
$ for x in filenames_gplv2:
if x not in filenames_gplv2:
$ for x in files_to_delete:
rm $x

after that procedure is done, _then_ try doing a kernel compile, see
how far you get.

many people point out that just because this is unlikely to result in
success any time in the next 100 years, that nobody should bother even

> So any further licenses will never apply to any use in the kernel.

incorrect!! logical assertion error!! :) assert(ELOGICALCONCLUSIONBRAINFART)

> Only if somebody took your code out of the kernel and used it in a
> separate GPLv3+ project, then the GPLv3+ license could and would
> apply.

after reviewing the above pseudo-code i believe you'll agree that
that's slightly misleading. one could also choose to leave the files
in-place in the *same* project's source tree, and just not use any of
the ones that were incompatibly-licensed.

> Also GPLv2 + GPLv3+ == GPLv2+. And there are already plenty of
> examples in the kernel that are GPLv2+ licensed (try searching for "or
> later").

very good point, jonas.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at