[Photopuppet]

I can confirm the 4k HDR video on an SDR TV lagging and failure seems to be some kind of Kodi bug as when you cast a 4K HDR file via VLC (for example), it plays and gets tonemapped completely fine on the SDR TV. It seems the CCWGTV hardware is perfectly capable of doing the HDR->SDR realtime tonemapping conversion...

Would this one be worth filing on the Kodi bug tracker?