#include CONFIG_ARM=y CONFIG_ARCH_K3=y CONFIG_SOC_K3_AM625=y CONFIG_TARGET_AM625_A53_EVM=y CONFIG_TEXT_BASE=0x82f80000 CONFIG_SPL_TEXT_BASE=0x82000000 CONFIG_SPL_STACK_R_ADDR=0x83f80000 CONFIG_K3_OPTEE_LOAD_ADDR=0x80080000 CONFIG_SPL_BSS_START_ADDR=0x82c00000 CONFIG_SPL_HAS_LOAD_FIT_ADDRESS=y CONFIG_SPL_LOAD_FIT_ADDRESS=0x82f80000 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x82b00000 CONFIG_DEFAULT_DEVICE_TREE="ti/k3-am6254atl-sk" CONFIG_ENV_SOURCE_FILE="am6254atl"