我刚刚偶然发现这篇文章，指出存在 Ada 语言到 Cortex-M4 微处理器的端口。这似乎令人兴奋，但不幸的是我在AdaCore上没有发现这样的迹象。
我们的目标是 STM32F407 或 STMF417 裸机。Ada 的实时扩展对我们来说至关重要。
我们最好使用 GPL 版本的工具。但是，作为一所大学，我们可以访问相应的大学版本的开发套件。
任何人都可以与 Ada 在 Cortex-M4 甚至 STM32 上分享经验，如果有的话？
我最终找到了正确的下载，甚至包括 STM32F4 的示例项目。凉爽的。
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，我可以将它启动并与您并行运行，如果您遇到困难，可以帮助您。