mbedmicro/mbed — pull request #212 by dinau (2014-03-17 14:48:52+00:00)
Title: [LPC11U35][GCC_ARM][GCC_CR]: Modificatins for build.

1. Added to the export table in export_test.py.
2. Added to the build table in build_release.py
3. Added the compilation directives to RTX os files.

Notice:
It would be better to change WORDS_STACK_SIZE definition in libraries/rtos/rtx/cmsis_os.h
from 512 to 128 for LPC11U35 and LPC1114 micros compiled by GCC toolchain with newlib-nano,
but I don't know the good way at this moment.