yocto mickledore optee build for u-boot fails
u-boot yocto build fails with this message
test -e arch/arm/dts/stm32mp157c-mydemo-mx.dtb || ( \
| echo >&2; \
| echo >&2 "Device Tree Source (arch/arm/dts/stm32mp157c-mydemo-mx.dtb) is not correctly specified."; \
| echo >&2 "Please define 'CONFIG_DEFAULT_DEVICE_TREE'"; \
| echo >&2 "or build with 'DEVICE_TREE=<device_tree>' argument"; \
arch/arm/dts/stm32mp157c-mydemo-mx.dts exists
arch/arm/dts/stm32mp157c-mydemo-mx-u-boot.dtsi exists
stm32mp157c-mydemo.dtb has been added to the Makefile
Any ideas?
