Hi, I'm considering buying one of those ESP32 modules which includes the camera and SD card and I noticed it seems it comes with a single-core variant of the typical ESP32 module. I looked around NuttX and I think there's no explicit support yet but I imagine it shouldn't be hard to add, right?
Best, Matias
