Compiled Espruino for EspruinoWiFi won't work on my board

Hi Guys,

I forked the Espruino's GitHub repos.
I didn't made any modification and I tried to compile everything after the installation of all the tools (python, gcc, gcc for ARM 5 2016 q3, on Linux Ubuntu 17.10).

I compiled the code for the EspruinoWiFi board by running the following:

make clean && BOARD=ESPRUINOWIFI RELEASE=1 make

The code compiled successfully. I loaded the firmware onto my EspruinoWiFi board, but it does not works. Once I restart the board, the led on the board remains red.

Someone experienced the same?

Thanks,
Simone