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?