Reprogramming the fpga at runtime from hps.

Hello Everyone, I have been trying to get the fpga programmed from the hps at run time, i.e. from the Linux user space. I am working from the GHRD. The Ghrd gives support for led buttons gpio e...