# BeagleBone AI-64 Texas Instruments TDA4VM dual core 4GB GBE USB3 OSPI DisplayPort HDMI BOARD_NAME="BeagleBone AI-64" BOARD_VENDOR="beagleboard" BOARDFAMILY="k3" BOARD_MAINTAINER="Grippy98" BOOT_SOC="j721e" BOOTCONFIG="j721e_beagleboneai64_a72_defconfig" BOOTFS_TYPE="fat" BOOT_FDT_FILE="ti/k3-j721e-beagleboneai64.dts" TIBOOT3_BOOTCONFIG="j721e_beagleboneai64_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,edge" KERNEL_TEST_TARGET="vendor" SERIALCON="ttyS2" ATF_BOARD="generic" OPTEE_ARGS="" OPTEE_PLATFORM="k3-j721e"