the GPL license prevents them from just having their own internal one.
It actually doesn't IF you aren't distributing it. It's generally considered a Stupid Tax, though, because you end up having to maintain that code to keep it in sync with upstream.
There is a lot more nuance to the terms than what I quipped, you are correct. The whole "Tivoization" debate as Exhibit A.
And even there, "Tivoization" doesn't apply to Linux, because Linus purposely kept the kernel GPL 2. But yes, there's a lot of nuance around copyright and GPL.
(post is archived)