set(MEM_DEF_NAMES "XPAR_PS7_DDR_0_BASEADDRESS;XPAR_PS7_DDR_0_HIGHADDRESS;XPAR_PS7_RAM_0_BASEADDRESS;XPAR_PS7_RAM_0_HIGHADDRESS;XPAR_PS7_RAM_1_BASEADDRESS;XPAR_PS7_RAM_1_HIGHADDRESS")
set(MEM_RANGES "0x100000;0x3ff00000;0x0;0x30000;0xffff0000;0xfffffe00")
