BBC micro:bit上对Ada和SPARK的代码实现

micro:bit是 BBC 为计算机教育设计的非常小的 ARM Cortex-M0 开发板。它配备了支持蓝牙的Nordic nRF51 32 位 ARM 微控制器。它的价格为 15 美元，是开始嵌入式编程的最便宜但最有趣的工具包之一。

自该项目首次发布以来，我们改进了 BBC micro:bit 上对 Ada 和 SPARK 的支持。

在 GNAT Community Edition 2018 中，micro:bit 现在直接支持 Linux、Windows 和 MacOS。这意味着使用该板的程序大大简化：

• 下载并安装在您的平台上托管的GNAT arm-elf ：Windows、Linux 或 MacOS。该软件包包含 ARM 交叉编译器以及所需的 Ada 运行时
• 下载并安装适用于您的平台的GNAT native ：Windows、Linux 或 MacOS。该软件包包含 GNAT Programming Studio IDE 和一个在 micro:bit 上运行的示例
• 启动 GNAT 编程工作室
• 点击“创建新项目”
• 选择“BBC micro:bit”下的“Scrolling Text”项目，点击Next
• 进入你希望部署项目的目录，点击Apply
• 仅在 Linux 上：您可能需要访问 USB 端口的权限，否则闪存程序将显示“No connected boards”。要在 Ubuntu 上执行此操作，您可以通过创建（作为管理员）文件/etc/udev/rules来完成.d/mbed.rules并添加行： SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", ATTR{idProduct}=="0204", MODE:="666"然后通过执行重新启动服务$ sudo udevadm 触发器
• 用 USB 数据线插入您的 micro:bit 开发板，等待系统识别它。这可能需要几秒钟
• 回到 GNAT Programming Studio，点击“flash to board”图标
• 而已！

我们还改进了 Ada 驱动程序库项目中的 micro:bit 支持和文档。点击此链接，查看板上可用的各种功能（文本滚动、按钮、数字输入/输出、模拟输入/输出、音乐）的文档示例。

结论

就是这样，您在 Micro:Bit 上的第一个 Ada 程序！如果您对此过程有疑问，请在下面的评论部分告诉我们。

同时，这里是您可以在 Micro:Bit 上使用 Ada 完成的项目类型示例