KEYVAL_PAGE_LEN = 0x00001000;

PROVIDE( __bbconf_pt_addr = 0 );

MEMORY
{
        /* LPC1768 : 512 ROM + 32k SRAM + 16k SRAM + 16k SRAM */
        /*--------------------------------------------------- */


        /* Main ROM region - 256k for LPC1766 */
        FLASHBOOT (rx) : ORIGIN = 0x00000000, LENGTH = 0x00007000
        KEYVAL (rx) : ORIGIN = 0x00007000, LENGTH = 0x00002000
        FLASHAPP (rx) : ORIGIN = 0x00009000, LENGTH = 0x00037000

        /* local static RAM - 32k for LPC1766 */
        IRAM0 (rwx) : ORIGIN = 0x10000000, LENGTH = 32k

        /* stack location */
        STACK (rw) : ORIGIN = 0x10000000 + 0x00007FE0 - 4, LENGTH = 4

        /* AHB SRAM - 16k for LPC1768 - often used for USB */
        IRAM1 (rwx) : ORIGIN = 0x2007C000, LENGTH = 32k
}