Amlogic S905X boxes are the better choice for Kodi these days.
You can installi LibreElec, they are cheaper than a Raspberry Pi 3 and they support 4K & HDR and have hardware acceleration for H.265 (HEVC) and VP9.
I've never been entirely comfortable with these HTPC boxes with factory-issued OS, especially connecting to a local network.
Do you have any advice or feedback on Amlogic S905X-based boxes that can have the OS flashed to something more generic (Debian-based, ideally)? Thanks!