Or orange pi. Banana pi.

The best thing I learned when writing this comment (because I know there are other fruity labeled pi computers) is that you can look up “other fruit pi” and actually find results. Semi-relevant ones. (I use ecosia, not google/bing/askjeves, so ymmv)

I was in a hotel where there was an AV input on a TV which just showed the screen of a Raspberry Pi. If I remember correctly it was running XFCE.

Not sure why that was because the TV channels worked correctly.