Télécharger l'interpréteur Python:
https://www.raspberrypi.com/documentation/microcontrollers/micropython.html
Brancher le Pico et copier le fichier rp2-pico-20210902-v1.17.uf2 dans le stockage du Pico.

Installation de minicom sur Arch Linux:

$ sudo pacman -S minicom

Utiliser l'interpréteur Python de la carte Pico:

$ minicom -b 115200 -o -D /dev/ttyACM3

Allumer/éteindre la LED de la carte:

>>> from machine import Pin
>>> led = Pin(25, Pin.OUT)
>>> led.value(1)

$ sudo pacman -S thonny

from machine import Pin, Timer
 
led = Pin(25, Pin.OUT)
tim = Timer()
 
def tick(timer):
	global led
	led.toggle()
 
tim.init(freq=2.5, mode=Timer.PERIODIC, callback=tick)

Enregistrer sous le disque local une 1ere fois.
Puis une seconde fois sur la carte Pico:

Source: https://www.raspberrypi.com/documentation/microcontrollers/c_sdk.html#sdk-setup