microbit 上的 Ada，GNAT
Ada on microbit, GNAT
所以，我有一个项目需要使用 Ada 在 microbit 上编写一个实时系统 https://blog.adacore.com/ada-on-the-microbit
我遇到了一个问题，通过使用 arm-elf 库和编译器，我似乎无法访问所有 Ada 基础库，也就是说，我唯一可以使用的是 Ada.Text_IO，所有IDE
似乎找不到其他人
我想调试我的代码，打印我从加速度计接收到的数据，但它是一个数字，而且库 Ada.Text_IO 只适用于字符串，所以我尝试使用 Ada.Integer_Text_IO 没有找到。
但如果我将项目设置更改为 ada 基础编译器，我可以编译和构建我的代码（这意味着代码是正确的），但我缺少将其闪存到 microbit 的按钮
好吧，为 MicroBit 提供的运行时是 ZFP，这意味着零足迹运行时。
所以你不应该期望所有的标准库都被实现......但是期望什么都没有:)
实际上，您只有 Ada drivers library.
中存在的内容
此外，这样的微控制器上的 IO 是什么？你希望它输出在哪里？
如果你想输出一些东西，看看this example并使用你号码的图像属性。
所以，我有一个项目需要使用 Ada 在 microbit 上编写一个实时系统 https://blog.adacore.com/ada-on-the-microbit
我遇到了一个问题，通过使用 arm-elf 库和编译器，我似乎无法访问所有 Ada 基础库，也就是说，我唯一可以使用的是 Ada.Text_IO，所有IDE
似乎找不到其他人我想调试我的代码，打印我从加速度计接收到的数据，但它是一个数字，而且库 Ada.Text_IO 只适用于字符串，所以我尝试使用 Ada.Integer_Text_IO 没有找到。
但如果我将项目设置更改为 ada 基础编译器，我可以编译和构建我的代码（这意味着代码是正确的），但我缺少将其闪存到 microbit 的按钮
好吧，为 MicroBit 提供的运行时是 ZFP，这意味着零足迹运行时。 所以你不应该期望所有的标准库都被实现......但是期望什么都没有:) 实际上，您只有 Ada drivers library.
中存在的内容此外，这样的微控制器上的 IO 是什么？你希望它输出在哪里？
如果你想输出一些东西，看看this example并使用你号码的图像属性。