问题描述
作为一个爱好项目，我想和Ada学习有关“裸机”的开发。 GNAT编译器似乎支持各种开发板，并提供了一些不同的运行时-zfp，ravenscar-sfp，ravenscar-full。
我不太确定哪个MCU具有更好的支持并且更适合使用。我一直在看：
TI“ TMS570LC43x Hercules开发套件”。它具有Cortex-R5F cpu，对于学习硬实时应用程序所需的硬件功能而言看起来非常有趣。但是该板有些昂贵，并且没有有关如何在该板中使用GNAT的教程。
ST“ STM32F7发现套件”。这具有Cortex-M7 cpu。该板便宜得多，并且有很多教程将STM32F板与GNAT一起使用。
这两个板似乎都受到GNAT bb-runtimes的支持。是否有人与他们中的任何一个一起工作并且可以提供建议？它们在GNAT运行时中的运行情况如何，并且哪个具有更好的调试支持或开发功能？
解决方法
根据对我的问题的评论，似乎意法半导体（STMicroelectronics）的MCU将会更易于使用，并获得GNAT Ada编译器的更好支持。他们的大多数MCU基于ARM Cortex-M内核，比Cortex-R内核更为常见。还有更多有关如何使用Cortex-M内核的资源（书籍，教程）。基于Cortex-R内核的MCU可能更适合使用安全关键系统的人员。
,我也刚开始使用Ada进行裸机编程。我的主板可能是STM32F4发现的，比我所看到的F7主板要便宜得多。第二个原因是，对于F3 Dicovery板，在Rust主页上有一个很好的关于使用Rust进行裸机编程的教程，这是我在F3板上尝试过的。 对于Ada，到目前为止，我只检查了该板的AdaCore工具链，交叉编译似乎很好。不幸的是，Ada驱动程序库不支持F3 ...
,最近6年来，我一直在ST ARM板上使用GNAT Ada，并将其用于大约40种不同的板上。他们对直接支持的董事会提供了出色的支持，多年来，我在我的收藏中添加了许多其他内容。我会说选择429、469或769发现板。我更喜欢小尺寸（sfp）版本，并且玩得开心。我刚刚完成了一些在429 Discovery板上运行的赌场游戏。我主要使用2017年版的GNAT ARM，因为那是他们对Win32的最后支持，而我在其他方面需要支持，但他们最新的2020年8月免费下载对ST板以外的许多板都提供了很好的支持。