Ich hab zwar aktuell selbst noch keinen HDR TV weil ich letztes Jahr vollkommen vergessen habe darauf zu achten als ich meinen 4K TV gekauft habe aber naja
Aus der Community gibt es unterschiedliche Rückmeldungen in Verbindung mit Shield, Kodi und HDR, bei den einen Funktioniert es, bei den anderen nicht und wieder andere bei denen es mit Kodi nicht funktioniert hat gings dann mit SPMC. Mein aktueller Stand ist das unabhängig von all dem HDR erst mit Kodi 18 wirklich supportet sein soll.
Soviel ich weiß ist das bei den Amlogic Kisten auch der Fall, also "kann" Funktionieren ist aber aktuell nicht offiziell unterstützt @CvH wird mich da sicher korrigieren sofern ich falsch liege.
Wenn du das ganze "drum herum" nicht brauchst bist du vermutlich bei den Amlogic Boxen mit LibreELEC besser aufgehoben und da ist in deinem Budget dann auch noch ne große SD Karte drin *g
Also ich kann idr aus Erfahrung sagen, dass der Vero 4k von OSMC in 4K /HDR10 bestens zurecht kommt. Hatte noch kein besseres Gerät am Start. Jedoch hält sich momentan das Angebot an HDR Software stark in Grenzen, genauso wie Dolby Atmos und viel mehr noch DTS:X.
M.E. ist es dezent übertrieben ein sündhaft teures Shield zu kaufen um Kodi dait zu bedienen - aber jeder wie er mag.