# Texas Instruments AM64 dual core 2GB 2xGBE USB3 WiFi OSPI

BOARD_NAME="SK-AM64B"
BOARD_VENDOR="ti"
BOARDFAMILY="k3"
BOARD_MAINTAINER="jonaswood01"
BOOT_SOC="am64"
BOOTCONFIG="am64x_evm_a53_defconfig"
BOOTFS_TYPE="fat"
BOOT_FDT_FILE="ti/k3-am642-sk.dts"
TIBOOT3_BOOTCONFIG="am64x_evm_r5_defconfig"
TIBOOT3_FILE="tiboot3-am64x_sr2-hs-fs-evm.bin"
DEFAULT_CONSOLE="serial"
HAS_VIDEO_OUTPUT="no"
KERNEL_TARGET="vendor,vendor-rt,vendor-edge,edge"
KERNEL_TEST_TARGET="vendor"
SERIALCON="ttyS2"
ATF_BOARD="lite"
OPTEE_ARGS=""
OPTEE_PLATFORM="k3-am64x"