资料下载
×
BBC micro:bit上对Ada和SPARK的代码实现
消耗积分:0 |
格式:zip |
大小:0.00 MB |
2023-06-21
李鸿洋
分享资料个
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 完成的项目类型示例
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
