本人想在Zynq MPSoC zcu102上移植OP-TEE，按照OP-TEE官方文档（Zynq MPSoC — OP-TEE documentation documentation (optee.readthedocs.io)）进行操作，但在执行最后一步make PLATFORM=zynqmp-zcu102 all后并没有生成BOOT.bin和zynqmp-zcu102.ub文件。根据下面的Note提示，如果没有先放好两个zcu102的firmware images，那么不会生成这两个文件。我在xilinx的官网上也找到了对应的firmware images，但不知道要将这两个文件放在什么位置，才能正确make后生成对应的BOOT.bin和zynqmp-zcu102.ub文件。这两个文件我也尝试在多个位置进行放置（根据makefile文件的提升），但最后并没有生成对应的BOOT.bin和zynqmp-zcu102.ub
如果有人知道如何解决这个问题，或者提出一些可能的解决方向，本人万分感谢！！！
Thank you very much for your reply