Can you summarize the following document?
        
  裝置大小可描述為信用卡的一半大小,,實測為,它包括有:  I/O包括環孔聯結器:3個GPIO(P0、P1、P2),1個電源正極(3V),1個接地即電源負極(GND),它們接納或4mm;(也稱為金手指)的標號,依次為micro:bit裝置抽象層(DAL)指定的:P3、P0、P4-P7、P1、P8-P12、P2、P13-P16、3V(3個)、P19-P20、GND(3個),共19個可設定的GPIO(未引出內部使用的P17、P18)。其中5個可完全自由使用(P0-P2、P8、P16),6個共享於LED陣列顯示屏(P3、P4、P6、P7、P9、P10),2個共享於按鈕A、B(P5、P11),1個保留給無障礙介面輸入(P12);可設定出1路SPI匯流排(P13-P15),1路I2C匯流排(P19-P20),1對UART序列收發;可設定出6個模擬輸入(P0-P4、P10),3個觸控感應輸入(P0-P2),3個PWM輸出。  在連線了USB的情況下,KL26Z負責對這個PCB餘下部分供電,將USB供給的5V±5%電壓規整降至3.3V。KL26Z限定最大電流120mA,電源環孔或針腳輸出可能只餘下90mA。在使用電池聯結器供電時,電池不為KL26Z供電,nRF51供電和電源環孔或針腳輸出都來自電池。還可以謹慎的從電源環孔或針腳向micro:bit供電,從電池聯結器、環孔或針腳擇一供電時都不可超過3.6V極值。

  Micro Bit的軟體是使用ARM Mbed開發工具建立的,並且採用了其程式設計介面DAPLink,裝置在連線到計算機的時候,是作為一個USB大容量儲存裝置而出現的。蘭卡斯特大學開發了micro:bit執行時系統(有時稱為裝置抽象層),提供了事件驅動程式設計和鍵-值儲存機制,採用了的nRF51 SDK和S110 SoftDevice,以及Mbed的BLE API,並與藍芽技術聯盟協作開發了定製的BLE profile。使用者用C/C++語言編寫的應用程式,可以通過Mbed線上編譯器、Mbed CLI、GNU MCU Eclipse或Keli μVISION等開發工具,利用ARM編譯器或GNU ARM工具鏈來進行編譯,編譯後的目的碼接著通過USB連線或手機app藍芽連線而被刷寫到裝置中。  在micro:bit基金會網站上有側重於教育的2個官方線上程式碼編輯器:  針對micro:bit的其他開發工具有:  除了micro:bit執行時系統所採用的Mbed OS 2,以及nRF51 SDK支援的CMSIS-RTOS RTX,可以在micro:bit上執行的嵌入式作業系統還有:Zephyr,,RIOT。  針對micro:bit的其他程式語言有:uLisp、Mecrisp Forth、Free Pascal、GNAT Ada、TinyGo、Rust、Swift等。其他互動語言有Scratch3.0、Dyalog APL、Simulink編碼器支援包、模組、App Inventor + IoT、BlockyTalkyBLE等。在官方網站上,截止到2018年底還連結了可用的4個遺留的編輯器。

  Micro Bit被設計用來鼓勵兒童活躍的投入為計算機書寫軟體和建造新東西,而不是成為媒體的消費者。它被設計為並肩工作於其他系統,比如Raspberry Pi,它也建造在BBC在計算機教育中的BBC Micro這項遺產之上。

  Micro Bit的開發彙集了眾多夥伴與BBC一起工作: 建立了原型裝置和軟體棧,在最初宣佈中進了展示,在學校中測試了這項提議,併為合作伙伴後續建設提供了參考規定。

  在成功的於英國推出了micro:bit之後,BBC將BBC micro:bit的未來交付給新成立的非營利性Micro:bit教育基金會。從BBC到Micro:bit教育基金會的遷移首先是將官方網站從www.microbit.co.uk轉移到了https://microbit.org/。

  負責管理BBC micro:bit的製造,監督各廠商進貨所有部件並在各自的加工工廠生產micro:bit。
Micro Bit(也叫做BBC Micro Bit,或風格化為micro:bit)是基於ARM架構的嵌入式系統,由BBC設計用於英國的計算機教育。