作为一个业余项目，我想学习关于"裸金属"；和阿达在一起。GNAT编译器似乎支持各种开发板，并提供了一些不同的运行时-zfp、ravenscar-sfp、ravenscar-full。
我不太确定哪一个MCU有更好的支持和更好的合作。我一直在看：
TI"；TMS570LC43x Hercules开发套件"；。它有Cortex-R5F CPU，对于学习硬实时应用程序所需的硬件功能来说，它看起来很有趣。但这块板有点贵，而且没有任何关于如何将GNAT与这块板一起使用的教程。
ST"；STM32F7发现试剂盒"；。这有Cortex-M7 CPU。该板要便宜得多，并且有相当多的教程使用带有GNAT的STM32F板。
这两个板似乎都得到GNAT bb运行时的支持。有没有人与他们中的任何一个合作过，可以提供建议？它们与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驱动程序库没有"；t支持F3…
在过去的6年里，我一直在ST ARM板上使用GNAT Ada，并在大约40个不同的板上使用它。他们对他们直接支持的董事会给予了极好的支持，多年来我在我的收藏中添加了许多其他董事会成员。我会选择429469或769探索板。我更喜欢小占地面积(sfp(的版本，玩得很开心。我刚刚完成了一些在429探索板上运行的赌场游戏。我主要使用2017版本的GNAT ARM，因为那是他们对win32的最后一年支持，我需要它来做其他事情，但他们2020年8月的新免费下载除了ST板之外，还对许多板提供了非常好的支持。