I installed NVML on Jetson TK1 and compiled a cuda program. The compilation does not show any error but when running it shows the error
/NVML-installed-path/usr/src/gdk/nvml/lib//libnvidia-ml.so: file not recognized: File format not recognized.
The downloaded NVML library is for Linux 64 bit. Does Jetson TK1 supports NVML library?
If you take a look at NVML API reference there is no support for Tegra devices. Jetson TK1 comes with a Tegra K1 SOC processor.
If that is not the reason why it doesn't work I only can think of one possibility: Tegra K1 SOC has a Kepler inside and NVML library came out for CUDA 4, which if I don't missunderstood is a later release of the Nvidia computing toolkit.