Example on how to build modules and drivers for NVIDIA Jetson TK1 - View it on GitHub