Reprogram HPS boot flash using external microcontroller

Hello! I would like to be able to reconfigure both the FPGA and HPS using an external microcontroller. How might I go about this? It is unclear how the HPS's flash (its boot source) would be progra...