micro:bit是 BBC 為計(jì)算機(jī)教育設(shè)計(jì)的非常小的 ARM Cortex-M0 開(kāi)發(fā)板。它配備了支持藍(lán)牙的Nordic nRF51 32 位 ARM 微控制器。它的價(jià)格為 15 美元，是開(kāi)始嵌入式編程的最便宜但最有趣的工具包之一。

自該項(xiàng)目首次發(fā)布以來(lái)，我們改進(jìn)了 BBC micro:bit 上對(duì) Ada 和 SPARK 的支持。

在 GNAT Community Edition 2018 中，micro:bit 現(xiàn)在直接支持 Linux、Windows 和 MacOS。這意味著使用該板的程序大大簡(jiǎn)化：

• 下載并安裝在您的平臺(tái)上托管的GNAT arm-elf ：Windows、Linux 或 MacOS。該軟件包包含 ARM 交叉編譯器以及所需的 Ada 運(yùn)行時(shí)
• 下載并安裝適用于您的平臺(tái)的GNAT native ：Windows、Linux 或 MacOS。該軟件包包含 GNAT Programming Studio IDE 和一個(gè)在 micro:bit 上運(yùn)行的示例
• 啟動(dòng) GNAT 編程工作室
• 點(diǎn)擊“創(chuàng)建新項(xiàng)目”
• 選擇“BBC micro:bit”下的“Scrolling Text”項(xiàng)目，點(diǎn)擊Next
• 進(jìn)入你希望部署項(xiàng)目的目錄，點(diǎn)擊Apply
• 僅在 Linux 上：您可能需要訪(fǎng)問(wèn) USB 端口的權(quán)限，否則閃存程序?qū)@示“No connected boards”。要在 Ubuntu 上執(zhí)行此操作，您可以通過(guò)創(chuàng)建（作為管理員）文件/etc/udev/rules來(lái)完成.d/mbed.rules并添加行： SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", ATTR{idProduct}=="0204", MODE:="666"然后通過(guò)執(zhí)行重新啟動(dòng)服務(wù)$ sudo udevadm 觸發(fā)器
• 用 USB 數(shù)據(jù)線(xiàn)插入您的 micro:bit 開(kāi)發(fā)板，等待系統(tǒng)識(shí)別它。這可能需要幾秒鐘
• 回到 GNAT Programming Studio，點(diǎn)擊“flash to board”圖標(biāo)
• 而已！

我們還改進(jìn)了 Ada 驅(qū)動(dòng)程序庫(kù)項(xiàng)目中的 micro:bit 支持和文檔。點(diǎn)擊此鏈接，查看板上可用的各種功能（文本滾動(dòng)、按鈕、數(shù)字輸入/輸出、模擬輸入/輸出、音樂(lè)）的文檔示例。

結(jié)論

就是這樣，您在 Micro:Bit 上的第一個(gè) Ada 程序！如果您對(duì)此過(guò)程有疑問(wèn)，請(qǐng)?jiān)谙旅娴脑u(píng)論部分告訴我們。

同時(shí)，這里是您可以在 Micro:Bit 上使用 Ada 完成的項(xiàng)目類(lèi)型示例

?