What toolchain is packaged with the Windows Arduino IDE download? Is it CERTS? I'm interested because in case I use it to assemble Lua firmware I get an error: '.text' area does not fit the 'iram1_0_seg' locale rendered here: viewtopic.php? F = 23 & t = 2030 & p = 12181 # p13129
Any ideas how the toolchain that ships with the Arduino IDE contrast with the one used to command NodeMCU on Linux?
Much appreciated,