ESP31B SDK based on FreeRTOS. For ESP32 please see http://github.com/espressif/esp-idf - Espressif Systems - espressif