gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 91b9551fb3c877f5c35324f31736787b4c7228cd / board / nvidia / jetson-tk1 / Makefile