mbedmicro/mbed — pull request #510 by hasselmm (2014-09-25 06:00:52+00:00)
Title: [NUCLEO_F103RB] Define RTOS target for this board

Exactly that.