title: Deploy C executable on PetaLinux for Rocket Chip on Zynq FPGA
body: <p>I'm currently trying to <strong>deploy</strong> an <strong>application</strong> (simple c program) to the <strong>Zynq ZedBoard</strong>. 
  I followed the <a href="https://github.com/ucb-bar/fpga-zynq" rel="nofollow noreferrer">Rocket Chip on Zynq FPGAs</a> github page to generate all the necessary files, put them on a SD card and <strong>boot PetaLinux</strong>.</p>
  
  <p>In the tutorial, a <strong>pre-packed <em>hello</em></strong> application can be executed after booting</p>
  
  <pre><code>root@zynq:~# ./fesvr-zynq pk hello
  hello!
  </code></pre>
  
  <p>I successfully managed to get to this point. However, i'm wondering <strong>how i can deploy my own c code</strong> to an executable that will appear in the internal filesystem like the <strong><em>hello</em></strong> one above.</p>