ESP-IDF
EspressifによるESP32の公式開発フレームワーク。Arduinoのコードを書いているつもりでも、その下で動いているのはこれである。
IoT Development Frameworkは2016年のESP32とともに登場し、ドライバ、Wi-FiとBluetoothのスタック、TCP/IP、OTA更新、フラッシュ暗号化をまとめて提供する。中核は改造版のFreeRTOSで、両コアにまたがってタスクをスケジューリングできる。ビルドはCMakeとidf.pyツールに移り、設定はLinuxカーネルと同じKconfigを使うmenuconfigで行う。
ESP32用のArduinoコアもMicroPythonの移植版も、ESP-IDFの上に作られている。setup()とloop()では足りなくなった人は、遅かれ早かれここに行き着き、Wi-Fiがずっと別タスクで動いていたことを知る。