Please refer to this image of page 113 of this manual
I'm not understanding this table. From what I can tell, I have from 0010_0000 to 3FFF_FFF of DDR memory, which is 1 072 693 247 bytes and approximately 1 Gbyte of memory available to write into the DDR, correct? I thought the Zedboard had only 512 Mbytes of DDR memory...
Also, in that table, it says that I have approximately 2Gbytes (4000_0000 to BFFF_FFFF) of address available for PL. What does this space mean exactly? What can I save in here?
Thank you