Steps to get 4k HDR over the LAN

[Blinky]

Hi, 
I want to play 4k UHD HDR10 movies on the projector over the LAN network (Gigabit eth) from my NAS and I think I found a perfect device - ROCK64 MB  however a strong competitor is a ready product - chinese TV Box with a touch remote so tell me does this beautiful board support 4k HDR10 already with a nice Android/Linux OS and I can configure everything in a few hours or it's like still under development and beta status?

I know Linux and IT stuff enough to run commands and handle configuration but I want to avoid situation that there is no stable OS, missing drivers and I will spend weeks to setup everything. Also which OS do you recommend as "smart TV" OS? I guess I need something similar that popular TV boxes has (based on Android) or maybe just any OS with Kodi or Plex? All comments welcomed before I buy one thanks

No, it doesn't support any HDR.