It uses the bare Raspberry Pi Pico SDK and a custom GCC 14.2/Newlib 4.3 toolchain and supports ARM and RISC-V cores. Installing Arduino using flatpak (often used by "App Stores" in various Linux ...