KEYVAL_PAGE_LEN = 0x00001000;

/* Memory Definitions */
MEMORY
{
  FLASH (rx) : ORIGIN = 0x00000000, LENGTH = 0x00080000
  RAM (rw) : ORIGIN = 0x40000000, LENGTH = 0x00007FE0
  STACK (rw) : ORIGIN = 0x40000000 + 0x00007FE0 - 4, LENGTH = 4

  FLASHVEC (rx) : ORIGIN = 0x00000000, LENGTH = 0x00000020
  FLASHBOOT (rx) : ORIGIN = 0x0000000, LENGTH = 0x00020000
  FLASHAPP (rx) : ORIGIN = 0x00020000, LENGTH = 0x00058000
  KEYVAL (rx) : ORIGIN = 0x000078000, LENGTH = 0x00002000

  RAMVEC (w)  : ORIGIN = 0x40000000, LENGTH = 0x00000020
}