However, this does not have any of the CUDA tools or the nvidia libraries (I am particularly interested in the gstreamer plugins for H.264 encoding/decoding). The documentation I found seems to be about installing everything through jetpack on a ubuntu system. However, I need to use this custom kernel from Avionics. Is there any way to get the gstreamer and cuda tools on it without having to replace the OS as well. I have been going silly over this, so any help would be greatly appreciated.
Thank you for your answer. Using this GStreamer command will install the nvidia jetson TK1 specific encoder/decoder plugins? out of curiosity, is there any other way to use the HW accelerated encoder/decoder other than gstreamer?