KEYVAL_PAGE_LEN = 0x00001000;

PROVIDE( __bbconf_pt_addr = 0 );

MEMORY
{
        /* LPC1758 : 512k ROM + 64k SRAM */
        /*------------------------------ */


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

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

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

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

        /* AHB SRAM - 16k for LPC1758 */
        IRAM2 (rwx) : ORIGIN = 0x20080000, LENGTH = 16k

}