Add support for arm64 linux toolchain for the board manager.

[Jorropo]

Closes #4111.
gcc: I was not able to find an arm64 build on espressif's website so I choosed to put the armhf version, even if this should works this is only ok as temporary, arm64 runs better on arm64 than armhf :)
esptool: being interpreted python its ok
mkspiff: need igrr/mkspiffs#74 to be merged and artifacts added in /package/package_esp32_index.template.json.

[lbernstone]

This will likely not be merged, since the next release will be using IDF4.x and the gcc8.2 toolchain.

[litamin]

How is ARM64 support in the Arduino Board Manager looking right now? Not only Raspberry Pie people want this, but also Chrombook people running Linux VMs.

[Jorropo]

How is ARM64 support in the Arduino Board Manager looking right now? Not only Raspberry Pie people want this, but also Chrombook people running Linux VMs.

It lacks the artifacts of mkspiff, in /package/package_esp32_index.template.json.
Except than that this should mostly works

[litamin]

I'm not super skilled with hacking this together and I have little knowledge of what is happening under the hood. Is there a simple way to get ESP32 boards into the Board Manager of Arduino IDE? The standard way gives me various errors like my operating system is missing stuff like mkspiffs, esptool, xtensa-esp32-elf-gcc.

With "standard way" in Arduino IDE I mean adding the JSON URL in the Preference window and then trying to install ESP32 in the Board Manager. I'm running on a ARM64 Lenovo Duet Chromebook.

[lbernstone]

The development release (1.0.5-rc2) includes binaries for arm-linux-gnueabihf and aarch64-linux-gnu. If that is you (uname -a), you can install using the development release link at https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/boards_manager.md.

[litamin]

Thanks for that very clear answer! I do have aarch64-linux-gnu and I tried it and it still didnt work. I added the development JSON link in Arduino IDE preferences. Then I opened the Board Manager and searched ESP32, picked EspressIf and 1.0.5-rc2 version (even tried 1.0.5-rc3) but I still got a red error text in the bottom saying "Tool mkspiffs is not available for your operating system".

Do I need to install mkspiffs and a bunch of other stuff before I am able to move on? If this is a unstable road that might not lead to success then I can just wait until ESP32 in Arduino is fully supported for my ARM64 chromebook.

[lbernstone]

As I expect you know, chromebooks are not a particularly common platform for developers, so it just hasn't been fixed yet. Let me poke about and see if there is anything in the armhf stuff that won't work for you.

[litamin]

Very kind of you! Just FYI: I got ESP32 to work on PlatformIO in VScode. I have no idea how they do it but there you dont need to install any boards to starts with.

[lbernstone]

Can you do a find / -name mkspiffs and zip/post the file if there is one?

[pamodeo-icb]

I got the "Tool mkspiffs is not available for your operating system" error message on a Raspberry Pi 4 (64-bit Raspberry Pi OS). Using the development version (releases up to 1.0.5rc6) doesn't fix the issue.
Output from uname -a:
Linux raspberrypi 5.10.5-v8+ #1392 SMP PREEMPT Sat Jan 9 18:56:30 GMT 2021 aarch64 GNU/Linux
Incidentally, I got no problem when installing ESP8266 board. This latter installation produced the attached mkspiffs file in:
/home/pi/.arduino15/packages/esp8266/tools/mkspiffs/2.5.0-4-b40a506/mkspiffs

mkspiffs.gz

[me-no-dev]

@pamodeo-icb fixed here: dd513df

Will be out in the next version

[pamodeo-icb]

Fine! For Raspberry users this is a(nother) relevant improvement on the road to a fully functional 64-bit OS.