What are the options for booting the Cyclone V for example, and how do I do them?
The Cyclone V HPS can boot from one of the following sources, as selected by the BSEL pins:
There are several information on the rocketboards.org website:
Boot from QSPI
or SD Card