OpenCL support in Jetson TK1 and Jetson TX1 development board

Dear All,

We are exploring Jetson TX1 and TK1 evaluation boards for our future projects. Could you confirm on the OpenCL support for the above boards? Are there any development boards of NVIDIA which has full-fledged OpenCL support?

In this post https://devtalk.nvidia.com/default/topic/899013/jetson-tx1/tegra-x1-opencl-support/ According to moderator dusty_nv there is no OpenCl support for Tegra devices.
There are other NVIDIA boards that support OpenCL according to https://developer.nvidia.com/opencl