if TEGRA124

choice
	prompt "Tegra124 board select"

config TARGET_JETSON_TK1
	bool "NVIDIA Tegra124 Jetson TK1 board"

config TARGET_VENICE2
	bool "NVIDIA Tegra124 Venice2"

endchoice

config SYS_SOC
	default "tegra124"

source "board/nvidia/jetson-tk1/Kconfig"
source "board/nvidia/venice2/Kconfig"

endif