紹介：BBC micro：bit and mbed OS 5

$ sudo pip install mbed-cli 

 $ wget http://bootstrap.pypa.io/ez_setup.py $ python ez_setup.py --user $ ~/.local/bin/pip install virtualenv --user $ ~/.local/bin/virtualenv venv $ source venv/bin/activate (venv) $ pip install mbed-cli 

 $ mbed config --global GCC_ARM_PATH /work/gcc-arm-none-eabi-5_4-2016q2/bin/ 

 $ mbed new mb_clock $ cd mb_clock $ mbed target NRF51_MICROBIT $ mbed toolchain GCC_ARM 

mbed newコマンドがrootおよび/またはvenv内で実行される場合、それ自体が必要なPythonモジュールをシステムにインストールします。 そうでなければ、彼女は実行するように求めます

 $ sudo pip install -r mbed-os/requirements.txt 

 $ mbed add https://github.com/lancaster-university/microbit #    $ mbed add https://github.com/tyomitch/microbit-dal #      

 $ cp microbit-dal/source/asm/CortexContextSwitch.s.gcc microbit-dal/source/asm/CortexContextSwitch.s 

1. mbed OS 5はマルチスレッドのサポートを含むため、mbed OSの以前のバージョンのように、「システム」（MSP）ではなく、「ユーザー」スタック（PSP）でマイクロビットdalコードが実行されるようになりました。
   
   
2. mbed OS 5でBLEを操作するためのシステムAPIが変更されました。
   
   
3. mbed OS 5のBLEサポートは大量のメモリを消費し、micro：16 KB RAMのビットに収まりません。
   
   
4. デフォルトのスタックサイズ（2 KB）は大きすぎます。このようなスタックでは、システムに動的割り当て（「ヒープ」）用の空きメモリがありません。

 $ rm mbed-os/features/FEATURE_BLE/targets/TARGET_NORDIC/TARGET_MCU_NRF51822/source/nRF5xn.cpp 

• micro：ビットサイズの5x5 LEDを一度に2桁で表示するには、創造的にフォントを作成する必要がありました。 「2つのゼロが上下に並んでいる」という論理に従って、慣れ親しんだ真ん中にドットの形でゼロ（ アラビア数字では似ている）、コロンの形に8つを作成することにしました。 他のすべての数字は問題なく認識されます。
  
  
• Micro：ビットには不揮発性の「リアルタイムクロック」がないため、時間は初期ロードからカウントされます。 最初に表示される値は、コンパイル時に設定されます。 開始後、2つのmicro：bitボタンを使用して、表示される時間を1方向に、1分単位で調整できます。

 #include "MicroBit.h" MicroBit uBit; const uint8_t digit_bits[10][10] = { { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 }, { 0, 1, 0, 1, 0, 1, 0, 1, 0, 1 }, { 1, 1, 0, 1, 1, 1, 1, 0, 1, 1 }, { 1, 1, 0, 1, 1, 1, 0, 1, 1, 1 }, { 0, 1, 1, 1, 1, 1, 0, 1, 0, 1 }, { 1, 1, 1, 0, 1, 1, 0, 1, 1, 1 }, { 0, 1, 1, 0, 1, 0, 1, 1, 1, 1 }, { 1, 1, 0, 1, 0, 1, 1, 0, 1, 0 }, { 0, 0, 0, 1, 0, 0, 0, 1, 0, 0 }, { 1, 1, 1, 1, 0, 1, 0, 1, 1, 0 } }; MicroBitImage digits[] = { MicroBitImage(2,5,digit_bits[0]), MicroBitImage(2,5,digit_bits[1]), MicroBitImage(2,5,digit_bits[2]), MicroBitImage(2,5,digit_bits[3]), MicroBitImage(2,5,digit_bits[4]), MicroBitImage(2,5,digit_bits[5]), MicroBitImage(2,5,digit_bits[6]), MicroBitImage(2,5,digit_bits[7]), MicroBitImage(2,5,digit_bits[8]), MicroBitImage(2,5,digit_bits[9]) }; int started_at = 18*60+53; void onButtonAClick(MicroBitEvent evt) { started_at--; } void onButtonBClick(MicroBitEvent evt) { started_at++; } int main() { uBit.init(); uBit.messageBus.listen(MICROBIT_ID_BUTTON_A, MICROBIT_BUTTON_EVT_CLICK, onButtonAClick); uBit.messageBus.listen(MICROBIT_ID_BUTTON_B, MICROBIT_BUTTON_EVT_CLICK, onButtonBClick); while(1) { int cur_time = (started_at + uBit.systemTime() / 60000L) % (24*60); int hours = cur_time / 60; int minutes = cur_time % 60; uBit.display.image.paste(digits[hours/10],0,0,0); uBit.display.image.paste(digits[hours%10],3,0,0); uBit.sleep(300); uBit.display.image.paste(digits[minutes/10],0,0,0); uBit.display.image.paste(digits[minutes%10],3,0,0); uBit.sleep(300); uBit.display.clear(); uBit.sleep(600); } } 

 $ mbed compile -D __STACK_SIZE=512 -D ISR_STACK_SIZE=512 -D MICROBIT_BLE_ENABLED=0 $ cp ./.build/NRF51_MICROBIT/GCC_ARM/mb_clock.hex /media/MICROBIT