Wireless display for NVIDIA TX1

Hi,

i have recently bought NVIDIA TX1 developer board…the board doesn’t have display…so i planned yo use wireless display for the board…so please suggest me the wireless module which i can use…?i came across wireless HDMI transmitter and receiver (Nyrius Aries Pro - Wireless HDMI Transmitter and Receiver NPCS550)…whether this will work on TX1…? or can i use WIDI , chrome cast / miracast…

please help me regarding this.

regards,
Niranjan B