I have the UltraZed-EG board and I want to use one of the GPIO as a PPS input pin. So I wonder how I should proceed in achieving this.
The PPS signal could either be a pulse on a GPIO pin or an RS232 signal so either ways are fine by me but I tought GPIO would be easiest to achive.
Like should I modify the Device Three like this Device-Tree Bindings for a PPS Signal on GPIO
or should I do something in vivado, generate a new .hdf file, FSBL and Device Three?
Or will I have to add something in the board support package like described here
Any tips or advice will be highly appreciated.
Not sure if should go here or under software application.
