Earlier quoted context omitted.
Full legal text of the complaint: https://sfconservancy.org/docs/conservancy-v-vizio-original-... Paragraphs 37 and 38 list the relevant software packages. Strangely the PDF is a scan. The OCR / embedded text isn't complete so there are some parts missing below... 37. Among the computer programs that comprise SmartCast are a number of programs 15 subject to the GPLv2: (a) The Linux kernel. A kernel is the heart of an…
Good point that Linux kernel is GPL - how can companies sell products with an embedded Linux then? They don't seem to be publishing sources. Basically anything IoT more advanced than a thermometer seems to be running Linux.
[1] e.g. when TiVo violated the GPL he let them, because apparently they found a loophole. When FSF closed the loophole definitively in GPLv3 he refused to adopt it. Also he grumbles about Nvidia but he was the one who created the weird loophole that “some parts of the kernel aren’t gpl” specifically to allow them to violate GPL so Linux could have their drivers.