Getting source and toolchain

How to obtain firmware sources and set up the toolchain.

Arduino IDE vs PlatformIO

TODO

ESP32‑S3 drivers

TODO

Dependencies

TODO