It seems asking the Board Manager to install compilation tools under Arduino 1.8 doesn’t yield a working result for the 32-bit Arduino IDE.
Looking at https://github.com/sparkfun/Arduino_Boa … 2050-L2091 the arm-none-eabi-gcc tools installed for i686-linux-gnu are exactly the same as those for x86_64-pc-linux-gnu, i.e. they are ELF 64-bit executables.
Would it be difficult to provide a toolchain for 32-bit compilation hosts? Or does Linux support some way to run 64-bit userland executables under a 32-bit kernel? Or perhaps there’s some other approach? Thanks in advance for any suggestions or guidance.
–
sdSds