Hi,I have 3 gpio pins in HPS which I have to program via firmware(HPS shared IO's) which will decide my further sequence. I am booting my system through SD card. What is the sequence of programming the GPIO? eg. like resetting the bridge(H2F) and then programming gpio or programming gpio first and then resetting bridges? At what point in firmware should I program these GPIO's(immediately after core.rbf loads or at some later instant of time)?