# Texas Instruments AM62L dual core 2GB 2xGBE OSPI HDMI

BOARD_NAME="TMDS62LEVM"
BOARD_VENDOR="ti"
BOARDFAMILY="k3"
BOARD_MAINTAINER="jonaswood01"
BOOT_SOC="am62l"
BOOTCONFIG="am62lx_evm_defconfig"
BOOTFS_TYPE="fat"
BOOT_FDT_FILE="ti/k3-am62l3-evm.dts"
TIBOOT3_FILE="tiboot3.bin"
DEFAULT_CONSOLE="serial"
KERNEL_TARGET="vendor,vendor-rt,vendor-edge"
KERNEL_TEST_TARGET="vendor"
SERIALCON="ttyS2"
ATF_BOARD="am62l"
EXTRA_ATF_TARGETS="build/k3/am62l/release/bl1.bin:bl1.bin"
OPTEE_ARGS="CFG_TEE_CORE_LOG_LEVEL=1"
OPTEE_PLATFORM="k3-am62lx"
EXTRA_BOOT_ARGS="BL1=bl1.bin"
CC33XX_SUPPORT="yes"