What makes this different from ESP8266?

So will it be possible to write software in C with FreeRTOS and compiled with GCC? That would be great, a major benefit over the ESP8266.