DeviceOS log / errors

Where can I find detail on system errors such as

[wiring] ERROR: recv error = 128

after enabling SerialLogHandler logHandler(LOG_LEVEL_WARN)

Hi,

Not an expert on the topic, but there doesn’t seem to be any centralized location/unified system for errno in device-os, I just do some grepping in the source to find anything.

From a quick search, I’d wager this is from third_party/nrf5_sdk/nrf5_sdk/external/freertos/source/include/projdefs.h or third_party/freertos/freertos/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_errno_TCP.h, specifically:
pdFREERTOS_ERRNO_ENOTCONN