[JK1974]

We have discussed about that link back in January. And I already pointed out there that for HDR support it is still is a long way to go for Linux users. Right now the infrastructure for HDR support is missing both in the Linux kernel and in userspace. This means you won't get HDR support with Kodi on Linux anytime soon. 

I read a lot of threads related to "picking the best Kodi box" and went into subforums, and not being sure if taking e.g. an AMLogic S912, waiting for better Rockchip support or going again the Intel route, I am really suprised about this comment.
So in fact, is this really also valid for all current 4K HDR boxes when running Kodi under Linux, or do they use e.g. special binary drivers and proprietary player modules?
If it really is not supported, this discussion about HDR compatible hardware looks pointless to me, at least if you want to "avoid" Windows as OS.