There's a Linux kernel and systemd in the 'i3'. See the links in the first few sentences of the article.
> which they are then distributing
BMW is a Bayerische Motor Work, a car company that distributes cars
> and are refusing to distribute the source code for their modifications?
The letters from BMW to the people asking for a copy of the source, stating they are refusing to distribute the source code for their modifications, linked to in the article.
My question still stands, is there evidence that they're modifying GPL'd code and then not distributing that code?
Or they have modified it and are refusing to release the source with their modifications. But they haven't stated the former.
[1]http://www.gnu.org/licenses/gpl-faq.en.html#WhatDoesWrittenO...
Basically you don't lose your GPL software right if you've bought the car from someone else other than the manufacturer.
And I know there aren't in theory different types of violations, but I think we all understand that there are different types in practice.
This is a license and if BMW doesn't comply 100% with the license their right to use the copyrighted code is entirely revoked.
GPL is concerned with source-code.
> object code or executable form under the terms of Sections 1 and 2 above provided that you also do one of the following:
Your quoted section only speaks of unmodified machine-code created from GPLed source-code.
https://en.wikipedia.org/wiki/GNU_Lesser_General_Public_Lice...
As you point out, linking code against GPL'ed code or libraries essentially merges them and makes the end result GPL'ed as well.