Question about driver between hardware

[Apology11]

(05-31-2014, 12:37 PM)Sonicadvance1 Wrote: K1 is the same driver as their desktop driver. So you can download their ARM binary from their website and install it on the Jetson TK1 board.

So what your saying is, you can use this driver: http://www.nvidia.de/download/driverResults.aspx/75865/de
when running a Tegra K1?