私の手元には ARM キットがあり、私のマシンには Xenomai のパッチが適用された Linux カーネル ソース コードがあります。USBケーブルと(もちろんWindowsベースの)ソフトウェアを介してキットにデータを送信できることは理解していますが、キットをLinuxで実行するために何を送信すればよいかについては困惑しています。
(コメントからの説明: Atmel AT91SAM9260-EK キットです。シリアルまたは USB ケーブルを介したデータのロードおよびアンロードに SAM-BA および SAM-PROG を使用します。)