Falkon_99, ну, я в свое время, относительно успешно мучал AVRки, но до "высоких материй" как-то не дошел ))
AlexandrY, очевидно, да. Судя по туториалам установки ОС, все работает через bootloader, который работает через SD флешку. Я не совсем это имел в виду. Скажем, написал "Hello World", который дергает GPIO. Скомпилил - получил бинарник. Закатал бинарник на SD флешку. Теперь, как дать понять процу, что "мой бинарник вот он рядом тут лежит - запускай его"?