DRM driver support on Jetson TX-1

Hi,
We would suggest check with vendor if the driver works on ARM. Probably the driver is for x86 machine only.