# Texas Instruments TDA4VM dual core 4GB GBE USB3 OSPI DisplayPort HDMI

BOARD_NAME="SK-TDA4VM"
BOARD_VENDOR="ti"
BOARDFAMILY="k3"
BOARD_MAINTAINER="glneo"
BOOT_SOC="j721e"
BOOTCONFIG="j721e_evm_a72_defconfig"
BOOTFS_TYPE="fat"
BOOT_FDT_FILE="ti/k3-j721e-sk.dts"
TIBOOT3_BOOTCONFIG="j721e_evm_r5_defconfig"
TIBOOT3_FILE="tiboot3-j721e-gp-evm.bin"
SYSFW_FILE="sysfw-j721e-gp-evm.itb"
TISPL_FILE="tispl.bin_unsigned"
UBOOT_FILE="u-boot.img_unsigned"
DEFAULT_CONSOLE="serial"
KERNEL_TARGET="vendor,vendor-rt,vendor-edge,edge"
KERNEL_TEST_TARGET="vendor"
SERIALCON="ttyS2"
ATF_BOARD="generic"
OPTEE_ARGS=""
OPTEE_PLATFORM="k3-j721e"