Tools to build the Linux kernel and modules on board Jetson Developer Kits - View it on GitHub