I need to allocate an EMIO pin to be used for the PS GPIO/MIO. What is the process to make this allocation ? where all do the changes need to be made ? It is similar to what has been done in the ZedBoard, just with a different LOC and GPIO pin number. In the ZedBoard, LOC G17 EMIO pin is allocated to PS GPIO 0 and used as a USB PHY reset signal. We need to do something similar, just with a different LOC and GPIO. Please advise.