Pilote pour le Raspberry Pi Pico sous OpenBSD : usbled.c

Bonjour,

Auriez-vous toujours sous la main la version finale du fichier usbled.c, mentionné dans l'article du Linux magazine numéro 269 portant sur la création d'un driver pour le Raspberry PI PICO sous OpenBSD ?

Merci. Cordialement, Franklin LALERE