To whom it may concern, My name is Ekaterina Mikhaleva, I am a young researcher and a PhD student, majoring in IT/IP law.
I would like to clarify how is it possible that the Guix System that is a free GNU/Linux distribution acknowledged by the FSF uses Linux kernel, which is licensed under GPLv2, and at the same time Guix System is licensed under GPLv3? I am a specialist in law, so I cannot probably grasp all the technical peculiarities, though I have checked on your website in the "Packages" section any mentioning on Linux kernel and here https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/linux.scm#n3138 I found the following: (home-page "https://www.gnu.org/software/linux-libre/";) (synopsis "GNU Linux-Libre kernel headers") (description "Headers of the Linux-Libre kernel.") (license license:gpl2))) As far as I know, GPLv2 and GPLv3 are incompatible and Linux kernel is licensed strictly under GPLv2 without any possibility to update to any further version. I presumed that GPLv2 would make the whole product subject to the term of this particular license. Still your product is licensed under GPLv3, if I am correct? I will be immensely grateful for your clarifications. Thank you in advance.
