# Texas Instruments AM69 octa core 32GB 32TOPS GBE USB3 OSPI DisplayPort HDMI

BOARD_NAME="SK-AM69"
BOARD_VENDOR="ti"
BOARDFAMILY="k3"
BOARD_MAINTAINER="glneo"
BOOT_SOC="j784s4"
BOOTCONFIG="am69_sk_a72_defconfig"
BOOTFS_TYPE="fat"
BOOT_FDT_FILE="ti/k3-am69-sk.dts"
TIBOOT3_BOOTCONFIG="am69_sk_r5_defconfig"
TIBOOT3_FILE="tiboot3-j784s4-hs-fs-evm.bin"
DEFAULT_CONSOLE="serial"
KERNEL_TARGET="vendor,vendor-rt,vendor-edge,edge"
KERNEL_TEST_TARGET="vendor"
SERIALCON="ttyS2"
ATF_BOARD="j784s4"
ATF_ARGS="K3_USART=0x8"
OPTEE_ARGS="CFG_CONSOLE_UART=0x8"
OPTEE_PLATFORM="k3-j784s4"