Constant reboot after flashing with Espruino

Hello,

I got a NodeMCU 1.0 that seems to work fine with both the AT and NodeMCU firmware when connected to my PC, but after I flash it with Espruino, most of the times it goes into an infinite cicle of reboots.

This is what I get, over and over again:

ets Jan  8 2013,rst cause:4, boot mode:(3,6)

wdt reset
load 0x40100000, len 1396, room 16 
tail 4
chksum 0x89
load 0x3ffe8000, len 776, room 4 
tail 4
chksum 0xe8
load 0x3ffe8308, len 540, room 4 
tail 8
chksum 0xc0
csum 0xc0

2nd boot version : 1.4(b1)
  SPI Speed      : 80MHz
  SPI Mode       : DIO
  SPI Flash Size & Map: 32Mbit(512KB+512KB)
jump to run user1 @ 1000

rl�
 _____                 _ 
|   __|___ ___ ___ _ _|_|___ ___ 
|   __|_ -| . |  _| | | |   | . |
|_____|___|  _|_| |___|_|_|_|___|
          |_| http://espruino.com
 1v83 Copyright 2015 G.Williams
WARNING: the esp8266 port is in beta, don't expect everything to work
Flash map 4MB:512/512, manuf 0xe0 chip 0x4016

>

I flashed it with

esptool.py --port /dev/ttyUSB0 write_flash -fm dio -ff 80m -fs 32m  0x01000 espruino_esp8266_user1.bin

Any ideas?