ESP-IDF と platform.io

esp-idf のサンプルは、インストール後すぐにビルドできた。

一方、platform.io が　ESP32に対応していることを知った。その上、VSCode に platform.io 用の extention があることもわかった。

platformio.org

kunsen.net

発見した記事は esp-idf ではなく arduino-IDE なものだったが、ちゃんと設定さえすれば、VSCode + platform.io extention + esp-idf な環境を作れるはず。