I have two AXI GPIOS in the ZCU102 with Linux and I am able to control them from the Linux console. They are Gpio 510 and 511, with address gpio@a0000000.
However, I want to to use them in a DomU of the Xen hypervisor. I do not know how to parse them to the other Domain. They only appear in the Domain-0. Do anybody know how to parse them to Domain-1 with Linux?