I just noticed that JVC seems to have TVs with "Linux" in their name.
It was either JVC or Sharp who were using a Raspberry Pi Compute Module 3 in their televisions. I thought they were keeping that slightly quiet. There's the mild irony that a system that grew from a Broadcom SoC cast off from Roku supplied user controllers for televisions later on.
Stewart