What video options are available for ROCK64?

[tllim]

I was planning on using my ROCK64 as an OpenVPN server, Torrent server and a Air Video (iOS) server to stream to iOS clients and basically operate the unit in headless mode.

But since I have a big fat 4K TV it would be a shame to let the HDMI port not go to use.  Are there software packages that would allow me to view the content my Air Video server streams to iOS clients? I have to install the proper codecs on the SBC in order for this to work, so I asssume I should be able to send the content to the HDMI port.  I've used predecessors of Kodi on other servers.  Are there similar options available for the Rock?  What about infrared options so I can control the thing with my universal remote?

Here is the remote control code mapping: http://files.pine64.org/doc/Pine%20A64%2...t-logo.jpg