alt Hacker NewsNobody in the general public wants to do that, but I'd think some in the HN audience might feel differently (I mean, setting this up is part of the fun).
Personally, I use an RPi4 with libreelec, and it works great - including responding to my remote via HDMI-CEC. (There's also no need for any sysadmin with libreelec, which is designed to work out of the box.)
i've had absolutely worst experience, regarding drivers and customization and libreelec on my raspberry pis. had a much more headache free experience just with running raw raspbian autobooting into kodi directly