HDMI maximum output resolution

Does anyone know what the maximum resolution @60hz the Jetson TX1 development kit can output via hdmi?

I went through the spec page, and there is no indication of this spec.

http://www.nvidia.com/object/jetson-tx1-dev-kit.html

Thanks.

Hi 012abc,

Most of TX1 document can be downloaded here: Jetson Download Center | NVIDIA Developer

TX1 support HDMI2.0 with resolution 4096x2160 @60hz. Please refer to module data sheet or technical reference manual for more details.

Thanks WayneWWW.