> I'm wondering: isn't this a "derived work" of Linux as understood by GPL?
And because it "was shipped with one or more Android devices", it was released as GPLv2 (or free-er) whatever the header of the source file tells, because anything else would be illegal?
Obviously this company could claim that it was an error, recall every Android device they ever produced (with compensation) and contact every kernel contributors to get their GPLv2 rights re-instantiated - if they ever want to sell a Linux kernel again. In a timely manner.
No wonder people in the street do not care about copyright laws when massive amount of money is made by a lot of companies ignoring those laws.