u-boot/board/nvidia/jetson-tk1
..
jetson-tk1.c
Kconfig
MAINTAINERS
Makefile
pinmux-config-jetson-tk1.h