How to use both HPS cores on DE1-SoC using DS-5

I'm looking for a way to use both cores on the DE1-SoC board from Terasic using baremetal. I understand how to accomplish the same task using linux and the pthread command, but I want to write progra...