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

自該項目首次發(fā)布以來，我們改進了 BBC micro:bit 上對 Ada 和 SPARK 的支持。

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

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

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

結(jié)論

就是這樣，您在 Micro:Bit 上的第一個 Ada 程序！如果您對此過程有疑問，請在下面的評論部分告訴我們。

同時，這里是您可以在 Micro:Bit 上使用 Ada 完成的項目類型示例

?