I'm currently trying to add some features to the stock v0.94 firmware. For communication with the outside world I extended the API and the scpi-server.

Unfortunately, it seems like the higher FPGA registers (0x40500000 to 0x40700000) are not accessible via the UIO api device.

In the .dtsi-file the registers 0x40000000 to 0x40700000 are configured:
github.com/RedPitaya/RedPitaya/blob/v0.98/fpga/dts/uio-api.dtsi
However, mmap'ing and accessing the higher registers results in a segfault.
I listed the UIO mappings of the api node with the following command: