What OS are these Arduino ide cores available for? Because I am trying to install it on a rasberry pi running Ubuntu20.04.3 LTS and getting “tool arm-none-eabl-gcc is not available for your operating system”
Update: I tried installing it on my desktop linux environment with ubuntu 20.04.2 installed and the apollo3 board core installed just fine.