stdint.h in pinmap.h
__eint() in libraries/mbed/targets/cmsis/TARGET_TI/system_MSP430.h
Merge branch 'master' of https://github.com/atamariya/mbed
Fixed compilation issue.
Blink works in debug mode.