>>474
PicoはArduinoみたいなマイコンボード。
Pico以外の既存のRaspberry PiはLinuxが動く。