With the recent GN video I’d been wondering about turning an old mini PC from eBay into a little Linux TV box for streaming. I’d need access to Android apps (I guess through Waydroid).
After a brief look, it seems that the two options are some form of LibreElec system running Kodi or Arch running Plasma Big Screen. Any thoughts / advice? And if I went for Big Screen, does anyone know of any distros that ship with it or will I have to spin it up myself on Arch?


it depends on what your after, I run OSMC connected to the living room TV, that runs kodi. I use jellyfin for media streaming both in the house and out, Jellyfin can consume an IPTV stream if you have it (like tvheadend)
OSMC also comes with tvheadend that will allow you to use a TV card to stream live TV to anywhere