1# SPDX-License-Identifier: GPL-2.0+ 2# 3# Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/ 4# Lokesh Vutla <lokeshvutla@ti.com> 5 6choice 7 prompt "K3 AM65 based boards" 8 optional 9 10config TARGET_AM654_A53_EVM 11 bool "TI K3 based AM654 EVM running on A53" 12 select ARM64 13 select SOC_K3_AM6 14 15endchoice 16 17if TARGET_AM654_A53_EVM 18 19config SYS_BOARD 20 default "am65x" 21 22config SYS_VENDOR 23 default "ti" 24 25config SYS_CONFIG_NAME 26 default "am65x_evm" 27 28endif 29