ESP31B SDK based on FreeRTOS. For ESP32 please see http://github.com/espressif/esp-idf - View it on GitHub