[direx]

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.   

Sorry that I have created confusion with my comment. I was referring to the open source graphics drivers and stacks (Kernel DRM/vaapi/mesa/X) on Linux. Of course you can get HDR support on Android, but each Android box suffers from different issues (automatic refresh rate switching on Android seems to be rocket science for instance). And if you are using proprietary graphics stacks on Linux you might also get HDR support, but in my point of view this has always been quite fragile. On the other hand these AMLogic boxes do actually look quite promising (and cheap).