I'm working on baremetal applications on Zedboard and I can't figure out where the GPIO config registers are defined.
The documentation says GPIO base address is 0xE000A000, and then a bunch of registers offsets are given, but I don't manage to get the definitions in any SDK project I did.
The solution I'm using for now is to hand write them in the main file (that's not kind of elegant).
I wonder if there is a generic header somewhere. I'm about to make my own and share it but I think it could not be such a good idea, I mean, perhaps I missed some details that are good reasons not to do it.
Is there any advice about that?
Thanks in advance for your answers.