Navigate to your browser Just type Arduino IDE in the search box and press Enter Click on the first result and you will see the Download page of Arduino IDE Click on the Linux ARM 64 bits as shown ...

Now, with just a simple download and typing ‘install’ into a terminal, the Arduino IDE is available on just about every single board Linux computer without having to build the IDE from source.

Programming the Raspberry Pi Pico with Arduino IDE The tutorial on Hackster.io provides a comprehensive guide on how to program the Raspberry Pi Pico using the Arduino IDE.