Как загрузить код C в De1-SoC и запустить его

Question

У меня есть доска DE1-SoC, и я хотел бы поиграть с ней.

Я хочу написать простую программу на C, скомпилировать и загрузить бинарный файл на доску. Однако я не уверен, с чего начать.

Правильно ли я понимаю, что существует два способа выполнения кода на DE1-SoC:

• 1) Загрузить синтезированный код HDL для выполнения ПЛИС
• 2) Использовать процессор HPS для выполнения инструкций ARM?

Я успешно реализовал первый случай. Теперь я хочу исследовать второй случай.

Как загрузить скомпилированный код C для запуска процессора HPS?