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 SYS_DISABLE_DCACHE_OPS
14	select BOARD_LATE_INIT
15	imply TI_I2C_BOARD_DETECT
16
17config TARGET_AM654_R5_EVM
18	bool "TI K3 based AM654 EVM running on R5"
19	select CPU_V7R
20	select SYS_THUMB_BUILD
21	select K3_LOAD_SYSFW
22	select K3_AM654_DDRSS
23	imply SYS_K3_SPL_ATF
24	imply TI_I2C_BOARD_DETECT
25
26endchoice
27
28if TARGET_AM654_A53_EVM
29
30config SYS_BOARD
31       default "am65x"
32
33config SYS_VENDOR
34       default "ti"
35
36config SYS_CONFIG_NAME
37       default "am65x_evm"
38
39source "board/ti/common/Kconfig"
40
41endif
42
43if TARGET_AM654_R5_EVM
44
45config SYS_BOARD
46       default "am65x"
47
48config SYS_VENDOR
49       default "ti"
50
51config SYS_CONFIG_NAME
52       default "am65x_evm"
53
54source "board/ti/common/Kconfig"
55
56endif
57