KEYVAL_PAGE_LEN = 0x00001000;

PROVIDE( __bbconf_pt_addr = 0 );

MEMORY
{
        /* LPC1754 : 128k ROM + 32k SRAM */
        /*------------------------------ */


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

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

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

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