set WORKAREASIZE 0x4000 source [find target/nrf51.cfg] $_TARGETNAME configure -rtos auto