The GPL requires that anyone who distributes the Linux kernel must make the source code ( and any modifications ) available to the recipient under the same terms . The GPL requires that anyone who distributes Linux must make the source code ( and any modifications ) available to the recipient under the same terms .