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.

Thanks.

Hi 012abc,

Most of TX1 document can be downloaded here: https://developer.nvidia.com/embedded/downloads

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

Thanks WayneWWW.