ESP32のMicroPythonでBluetooth（BLE）を試す

MicroPythonの更新状況のウオッチを最近さぼっていたのですが、気がついたら汎用のBLEプロトコルスタックのモジュールが追加されていました。 ESP32でも使用できるようになっているので、試してみました。 このモジュールはソースツリーの中ではextmodの中に入っていて、ファイルシステムやlwIP等と同じく、プラットホーム非依存なモジュールの位置づけになっています。 もちろん、デバイス部分はプラットホームに依存しますのでプラットホーム側での対応は必要です。 ESP32用MicroPythonでは、ESP-IDFのv4.0系ビルドで対応しています。 というわけで、まずはビルドしてみました。 ESP-IDFのv4.0系はExperimentalであるため、これまではv3.0系でビルドしていたので、まずESP-IDFを更新します。 私は以前導入した開発環境を流用したため、ビルド手順の詳細は