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

_STACK_SIZE = 8M
_HEAP_SIZE = 64M