mirror of
https://github.com/armbian/build
synced 2025-09-24 19:47:06 +07:00
3ec4a4cdf0
Presently, in k3 devices, we are setting TEE=bl31.bin. However TEE
should be set to OPTEE, not ATF.
Therefore, do the following:
* clone and compile OPTEE
* add variables for OPTEE platform and `make` arguments in all k3
board configs
* use the compiled binary as TEE to compile U-Boot
Signed-off-by: Suhaas Joshi <s-joshi@ti.com>
21 lines
559 B
Plaintext
21 lines
559 B
Plaintext
# TI TDA4VM dual core 4GB GBE USB3 OSPI DisplayPort HDMI
|
|
|
|
BOARD_NAME="SK-TDA4VM"
|
|
BOARDFAMILY="k3"
|
|
BOARD_MAINTAINER="glneo"
|
|
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="current,edge"
|
|
KERNEL_TEST_TARGET="current"
|
|
SERIALCON="ttyS2"
|
|
ATF_BOARD="generic"
|
|
OPTEE_ARGS=""
|
|
OPTEE_PLATFORM="k3-j721e"
|