// For some reason, IDF detection at build time does not work here
#define MG_ARCH MG_ARCH_ESP32