DE1-SoC - Cyclone V HPS fallback boot from FPGA

We are currently using DE1-SoC boards at a university in our teaching modules - one module dealing with the FPGA side and the other is dealing with bare-metal programming on the HPS. During the...