我一直在使用Vivado和SDK开发Digilent Zybo板上的Zynq XC7Z010的VHDL和C,进展顺利。我还使用GNAT GPS IDE学习Ada,并针对支持的开发板之一的STM32F4处理器进行目标设置。
GPS还提供了一组针对XC7Z020的zynq7000运行时(据我所知)。通过查看这些目标的BSP,我认为生成的代码也应该可以在XC7Z010上运行,因为ARM内核似乎是相同的。可能会发现有差异,在这种情况下,我将尝试基于现有的zynq7000 BSP构建特定的运行时(Adacore已经记录了此过程,并提供了一个用于生成新的STM32F4 BSP的示例)。
我的主要问题是我不确定如何在我的Zybo上加载和运行生成的Ada elf文件。我尝试生成一个包含FSBL(使用Vivado中导出的硬件构建SDK),一个比特流和Ada elf文件的BOOT.ini文件(Zybo具有可配置为引导设备的MicroSD接口,使用Vivado / SDK生成的比特流和C elf文件可以完美地工作)。
然而,这并没有起作用……我猜测可能是链接问题,或者是启动加载程序问题等等。在当前知识水平下,我现阶段就不确定了。
非常感谢您给出任何建议或指向!
GPS还提供了一组针对XC7Z020的zynq7000运行时(据我所知)。通过查看这些目标的BSP,我认为生成的代码也应该可以在XC7Z010上运行,因为ARM内核似乎是相同的。可能会发现有差异,在这种情况下,我将尝试基于现有的zynq7000 BSP构建特定的运行时(Adacore已经记录了此过程,并提供了一个用于生成新的STM32F4 BSP的示例)。
我的主要问题是我不确定如何在我的Zybo上加载和运行生成的Ada elf文件。我尝试生成一个包含FSBL(使用Vivado中导出的硬件构建SDK),一个比特流和Ada elf文件的BOOT.ini文件(Zybo具有可配置为引导设备的MicroSD接口,使用Vivado / SDK生成的比特流和C elf文件可以完美地工作)。
然而,这并没有起作用……我猜测可能是链接问题,或者是启动加载程序问题等等。在当前知识水平下,我现阶段就不确定了。
非常感谢您给出任何建议或指向!