ada - FreeRTOS + GNAT Ada 编译库

Question

我有一个正在运行的带有 FreeRTOS 的 ARM CortexA9 板，我需要添加一个用 ADA 编写的旧的大型库。我已经成功生成了该库并在代码中实现了它，但我正在努力解决一些问题；

首先，FreeRTOS 允许使用以下哪种 RTS 配置文件？

• zfp
• Ravenscar_sfp
• Ravenscar_full

Answer 1

您建议使用 GNAT CE 2019 arm-elf 编译器来编译 Ada 源代码(-mcpu=cortex-a9 可以)并将结果与​​您的非 ada 代码链接。

我认为您不能使用该编译器附带的 AdaCore Ravenscar 运行时，因为它们假设自己负责主板并运行自己的任务/中断处理代码，而不是 FreeRTOS。

我一直在维护FreeRTOS-based runtime for some lower-end Cortex-M boards ，它确实支持 Ravenscar 配置文件，与 AdaCore sfp 运行时非常相似。我认为根据您的用例进行调整并不需要大量工作。

另一方面，如果您的 Ada 代码(以及它所依赖的 Ada 代码)不涉及任务分配或依赖于终结或异常，那么您很可能不需要太多运行时支持； zfp 运行时将作为基础。