Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard. Patched to work with NUCLEO L152 board

Fork of mbed-rtos by mbed official

rtx/RTX_CM_lib.h/shortlog@da8c5ccc2f9c: not found in manifest