# Texas Instruments AM62SIP quad core 512MB 2xGBE OSPI HDMI

BOARD_NAME="SK-AM62-SIP"
BOARD_VENDOR="ti"
BOARDFAMILY="k3"
BOARD_MAINTAINER="jonaswood01"
BOOT_SOC="am62"
BOOTCONFIG="am6254xxl_evm_a53_defconfig"
BOOTFS_TYPE="fat"
BOOT_FDT_FILE="ti/k3-am6254xxl-sk.dts"
TIBOOT3_BOOTCONFIG="am6254xxl_evm_r5_defconfig"
TIBOOT3_FILE="tiboot3-am62x-hs-fs-evm.bin"
DEFAULT_CONSOLE="serial"
KERNEL_TARGET="vendor,vendor-rt,vendor-edge"
KERNEL_TEST_TARGET="vendor"
SERIALCON="ttyS2"
ATF_BOARD="lite"
ATF_ARGS="BL32_BASE=0x80080000 PRELOADED_BL33_BASE=0x82000000"      # Manual memory region definitions required for fixed 512MB RAM
OPTEE_ARGS="CFG_TEE_CORE_LOG_LEVEL=1 CFG_TZDRAM_START=0x80080000"   # See U-Boot docs for more info: https://docs.u-boot.org/en/latest/board/ti/am6254atl_sk.html#a53-spl-ddr-memory-layout
OPTEE_PLATFORM="k3-am62x"