J'ai un kit ARM à côté de moi et un code source du noyau Linux patché avec Xenomai sur ma machine. J'ai compris que je pouvais envoyer des données au kit par le biais d'un câble USB et d'un logiciel (basé sur Windows, bien sûr), mais j'ai du mal à savoir exactement ce qu'il faut faire ce que Je devrais envoyer ce qui ferait fonctionner le kit sous Linux.
(clarifications à partir des commentaires : Il s'agit d'un kit Atmel AT91SAM9260-EK. Il utilise SAM-BA et SAM-PROG pour le chargement et le déchargement des données via un câble série ou USB).