When I try to build for ESP32-C3, I get the error: WARNING: Category '' in library ESP RainMaker is not valid. Setting to 'Uncategorized' WARNING: Category '' in library WiFiProv is not valid. Setting to 'Uncategorized' Archiving built core (caching) in: /tmp/arduino_cache_105127/core/core_esp32_esp...

Ok, it turns out I needed the "Development" version of the boards package, which is at:

https://raw.githubusercontent.com/espre ... index.json

I can now see ESP32-C3 in the board manager.

Can I use the Arduino IDE to develop for the ESP32 C3 devkit M1?

I am on Linux, btw.