@dpechman : For SmingRTOS Not 100% sure but I think the SNMP option is not set within the supplied SDK. However, the lwip source is available so can be switched on. For early bugfixing when converting SmongNONOS to SmingRTOS I used this "local lwip"
@psychegr : Yes, I have the plan to have SmingRTOS supporting ESP32.
Yes @hreintke, I have checked it at the sources, this is why I ask for. But I'm still confused with this new Sming RTOS and how to check and keep updated with the SDK. So many flavors! Back to SNMP, I am trying to port this arduino lib to Sming https://github.com/1sw/Agentuino