For your budget, if you're wanting true 4k hdr, I'm going to have to recommend the Roku devices, even though they're not really Linux based.