I asked the same question some time ago. I now use an old laptop with libreelec on it. https://beehaw.org/post/15312388

Some public places like libraries here in Denmark use Linux on their computers, but I don’t know to what extent.

Yes I use Kore now and it’s great, but with a remote I can more easily give others control.

I think I will try Installing libreElec on my old laptop and see how that goes. I saw somewhere that the tv remote that the tv comes with might work because it sends the input through the HDMI. If that doesn’t work do you think IR remotes are better than Bluetooth?

I bought a tuxedo laptop about 2 years ago. I’ve only had one issue with it, where it would go to 100% fan speed for about 2 seconds after turning it on. Other than that I’m really happy with it ☺️

I’ve had the TUXEDO Pulse 15 from tuxedo computers for about 2 years and it’s great.