Tous les modules cocotb utilisé pour simuler différentes interfaces disponible dans pypi (pip install)

On peut overclocker la RP2040 à 252Mhz (au lieu des 133Mhz recommandé) pour créer une sortie HDMI avec les PIO !