Hi,
currently I'm using LibreELEC on a Raspberry Pi 3 B (no media attached, everything fetched over the network; connected to normal TV via Receiver; HDMI-CEC would be vital). Overall I'm happy with the setup, but I run into more and more issues which seem to be hardware limitations of the RPi 3 (memory, ability to play H.265 Full-HD, ...).
The logical upgrade path would be a RPi 4, but currently it is not really available.
So what other choices are there? My budget is around 100,- €.
Odroid C4? Banana, Orange, Rock Pi? Is LE the best choice for these devices or should I look elsewhere? Currently, 4K is not relevant, but of course will be become in the future...
Regards,
Oliver