| # SPDX-License-Identifier: GPL-2.0-or-later |
| # |
| # Copyright (C) 2023-2024 Texas Instruments Incorporated - https://www.ti.com/ |
| # Hari Nagalla <hnagalla@ti.com> |
| |
| if SOC_K3_J784S4 |
| |
| choice |
| prompt "K3 J784S4 board" |
| optional |
| |
| config TARGET_J784S4_A72_EVM |
| bool "TI K3 based J784S4 EVM running on A72" |
| select ARM64 |
| select BOARD_LATE_INIT |
| select SYS_DISABLE_DCACHE_OPS |
| select BINMAN |
| |
| config TARGET_J784S4_R5_EVM |
| bool "TI K3 based J784S4 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/j784s4/Kconfig" |
| |
| endif |