# SPDX-License-Identifier: GPL-2.0+
#
# Copyright (C) 2024 Texas Instruments Incorporated - https://www.ti.com/
#

if SOC_K3_AM62P5

choice
	prompt "TI K3 AM62Px based boards"
	optional

config TARGET_AM62P5_A53_EVM
	bool "TI K3 based AM62P5 EVM running on A53"
	select ARM64
	select BINMAN
	select OF_SYSTEM_SETUP

config TARGET_AM62P5_R5_EVM
	bool "TI K3 based AM62P5 EVM running on R5"
	select CPU_V7R
	select SYS_THUMB_BUILD
	select K3_LOAD_SYSFW
	select RAM
	select SPL_RAM
	select K3_DDRSS
	select BINMAN
	imply SYS_K3_SPL_ATF

endchoice

source "board/ti/am62px/Kconfig"
source "board/toradex/verdin-am62p/Kconfig"

endif
