Firmware files for the ESP32 implementation.