In the file FreeRTOSConfig.h, there appears this comment, near the close of the FreeRTOS V8.2.0 rights statement:

/* ESP31 and ESP32 are dualcore processors. */

So the question is, what is an ESP31?

Alternatively, is the reference to ESP31 simply in error?

Thanks.