我偶然发现了这个article，说明Ada语言的端口存在于Cortex-M4微处理器中。这看起来令人兴奋，但不幸的是我在AdaCore上找不到这样的指示。
我们的目标是STM32F407或STMF417裸机。 Ada的实时扩展对我们来说至关重要。
最好我们使用工具的GPL版本。但是，作为一所大学，我们可以访问相应大学版的开发套件。
任何人都可以在Cortex-M4甚至STM32上与Ada分享经验吗？
我最终找到了正确的下载，甚至包括STM32F4的示例项目。凉。
答案 0 :(得分：4)
Green Hills销售用于ARM的Ada 95编译器（包括Cortex M4板）
Adacore还可以使用gnat处理Ada运行时库。
AdaCore发布裸板ARM的GNAT GPL http://www.adacore.com/press/gnat-gpl-for-bare-board-arm/
我在github上玩了微内核（链接如下）。
https://github.com/Lucretia/tamp
使用相对容易并且对入门有很好的解释，这似乎是你的问题。我有一段时间没有这样做，但是如果你需要帮助，请告诉我在家里有一台STM32F4，如果你遇到问题，我可以把它和你并行运行并帮助你。