Comment sorry, but this is BS (Score 4, Informative) 52
NVIDIA is not supplying a proper OpenCL toolchain for the Ubuntu 14.04 LTS-based developer's kit for the Jetson Tegra TK1 hardware. As a result, it is effectively not possible to develop OpenCL applications for the chip, unless you are a big enough operator to develop your own OpenCL compiler. If you click through to TFA, you will note that I pointed this out months ago. Claiming that OpenCL is properly supported for this hardware by NVIDIA is simply not true.