board/nvidia/jetson-tk1/Makefile - platform/external/u-boot - Gitiles

 #
 # (C) Copyright 2014
 # NVIDIA Corporation <www.nvidia.com>
 #
 # SPDX-License-Identifier:     GPL-2.0+
 #

 obj-y	+= ../venice2/as3722_init.o
 obj-y	+= jetson-tk1.o
	#
	# (C) Copyright 2014
	# NVIDIA Corporation <www.nvidia.com>
	#
	# SPDX-License-Identifier: GPL-2.0+
	#

	obj-y += ../venice2/as3722_init.o
	obj-y += jetson-tk1.o