STM32F4上的Ada (Cortex-M4)

Question

我只是无意中发现了这个文章，说明Ada语言在Cortex-M4微处理器上有一个端口。这似乎令人兴奋，但不幸的是，我在AdaCore上没有发现这样的迹象。

我们的目标将是STM32F407或STMF417裸金属。Ada的实时扩展对我们来说至关重要。

最好我们使用GPL版本的工具。然而，作为一所大学，我们可以访问相应的开发套件的大学版本。

有谁能与Ada分享在Cortex-M4甚至STM32 (如果有的话)上的经验？

我最终找到了正确的下载，甚至包括STM32F4的一个示例项目。凉爽的。

Answer 1

格林山庄为ARM销售Ada 95编译器(包括Cortex M4板)

Adacore还能够使用gnat处理Ada运行时库。

AdaCore发布适用于裸板ARM http://www.adacore.com/press/gnat-gpl-for-bare-board-arm/的GPL

我在github上玩过微内核(下面的链接)。

https://github.com/Lucretia/tamp

这是相对容易的工作，并有很好的解释开始，这似乎是你的问题。我已经有一段时间没有这样做了，但是如果你需要帮助的话，让我知道我家里有一个STM32F4，如果你被困了，我可以让它和你并行运行，帮你解决问题。