Interface a HC-SR04 distance sensor to the NVIDIA Jetson TK1 - View it on GitHub