MEMORY
{
  /* Zedboard: 512 MB DDR3. */
  CODE(rx) : ORIGIN = 0x00100000, LENGTH = 512M
}

REGION_ALIAS("DATA", CODE);