4K video input for Jetson TX1

I want to use a 4K camera as input video source for the Nvidia Jetson TX1.

My idea is to connect the Blackmagic Micro Studio Camera 4K (https://www.blackmagicdesign.com/products/blackmagicmicrostudiocamera4k) to the blackmagic Intensity Pro 4k (https://www.blackmagicdesign.com/products/intensitypro4k) and then connecting the intensity pro to the Jetson TX1 directly via PCIe.
Can anyone tell me if it could work and if these ccomponents are compatible with the Jetson?

Hi isernia, if it is a standard PCIe port then will be ok for Jetson from HW point of view.

See if a kernel driver is listed for any Linux (with existing kernel source compile)…if it is, then chances are the driver works in arm64 also. If the source code is not available, then you would need an arm64/aarch64 binary driver.