1# SPDX-License-Identifier: GPL-2.0+
2#
3# Copyright (C) 2017-2018 Texas Instruments Incorporated - https://www.ti.com/
4#	Lokesh Vutla <lokeshvutla@ti.com>
5
6if TARGET_AM654_A53_EVM
7
8config SYS_BOARD
9       default "am65x"
10
11config SYS_VENDOR
12       default "ti"
13
14config SYS_CONFIG_NAME
15       default "am65x_evm"
16
17source "board/ti/common/Kconfig"
18
19endif
20
21if TARGET_AM654_R5_EVM
22
23config SYS_BOARD
24       default "am65x"
25
26config SYS_VENDOR
27       default "ti"
28
29config SYS_CONFIG_NAME
30       default "am65x_evm"
31
32source "board/ti/common/Kconfig"
33
34endif
35