Hi,
yes, your description seems to be correct.
So far I did not test any GPIOs on ESP32 - so I cannot give you helpful advices. The DeviceIntegration example for ESP32 is still on the 'ToDo' list...
You can try to toggle a GPIO directly in the mainloop in ewmain.c. If this works, then it will be also possible within your device driver. Otherwise, maybe some ESP32 forums can help concerning the GPIOs...
Best regards,
Manfred