Example on how to build modules and drivers for NVIDIA Jetson TK1