I develop things with Arduino IDE for ESP8266 on a rk3288 tvbox with 2 gb of ram and 8 gb of emmc. It works very well and have no memory issues.
...