Como fazer o download do código C para De1-SoC e executá-lo

Question

Eu tenho uma placa do DE1-SoC e gostaria de brincar com isso.

Meu desejo é escrever um programa simples em C, compilar e depois carregar o binário no quadro. No entanto, não sei por onde começar.

Eu entendi corretamente que existem duas maneiras de executar código no DE1-SoC:

• 1) Envie o código HDL sintetizado para o FPGA executar
• 2) Use o processador HPS para executar as instruções do ARM?

Eu percebi com sucesso o primeiro caso. Agora quero explorar o segundo caso.

Como fazer o upload do código C compilado para o processador HPS executar ?