Inquiry about Linux Driver for HDMI2CSI Module with Toshiba TC358840 chipsets

I try to make new HDMI2CSI module board offers 4K HDMI video streams that can be processed by the NVidia Jetson TX2 processor using Toshiba TC358840 chipsets.
The OS is Linux4Tegra based on the Linux kernel 4.4. (L4T versions 24.2.1). I used the open source driver provided on the website (https://github.com/InES-HPMM/linux-l4t-4.4/wiki/hdmi2csi#drivers)
But I failed to get 4k streaming from a sony 4k camcoder with the error “tc358840 2-001f: enable_stream: Timeout: HDMI input sync failed.”
I guess the problem is due to 4K HDMI timing sync parameters, so I’d like to know the detail timing spec of the NVidia Jetson TX2 module. Also, I wonder how to merge two 4-lanes for CSI to get 4k video streams.
Thank you.

You might have better luck asking there: https://devtalk.nvidia.com/default/board/188/jetson-tx2/

I added this topic where you mentioned. Thanks.

https://devtalk.nvidia.com/default/topic/1054758/jetson-tx2/inquiry-about-linux-driver-for-hdmi2csi-module-with-toshiba-tc358840-chipsets/