I have managed to boot sel4 on ZCU102 using the instructions from the following link:
I want to map a specific physical address into a userspace application. The addresses are currently not listed in the device tree.
Do we need to have a specific memory region setup in the device tree? If so, how do we reference that when setting up the page mappings?
Are there any guidelines on that?
Thank you in advance