PetalinuxでZynq基板のRAMサイズを変更する情報を探した。

I haven't had to do this myself yet, but I have noticed in u-boot that the config file for the Zed board (include/configs/zynq_zed.h) contains the following line:

#define PHYS_SDRAM_1_SIZE (512 * 1024 * 1024)

...

You'll also need to change the device tree in the kernel: arch/arm/boot/dts/zynq-zc702.dts. The second value after is the size, here set to 512M.

加えて、FSBLも変更が必要になるようだ。

上記では変更されなかった。要調査。

中国語がよく分からないが、変更箇所の参考にはなる。 http://46aae4d1e2371e4aa769798941cef698.devproxy.yunshipei.com/zhangyu_eeprom/article/details/38471463