zedboard中ddr内存计算核对

由指导书册和SDK内存映射可知：


ddr地址范围为：）0X0000_0000~0X3FFF_FFFF

0X4000_0000=1073741824
512MB=536870912Byte等于二分之一0X4000_0000;(这里每一位地址对应4Bit，也即16进制)

此外

板载DDR为512MB，但是在vivado生成的system.hdf文件中，定义的ps7_ddr_0的内存空间范围只有511MB，少了1MB。

但是再看elf文件，可以看到0000_0000开始的空间，是用来进行Debug调试的，因此0X0010_0000之前的地址被Vivado+SDK系统给扣下了，对用户不可见。