Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Issue: Recent commit has broken the library. Unable to compile. (Closed: Fixed)

Under the Q&A section of folks have been reporting issues of compilation errors after the two most recent commits of the mbed-rtos library.

My students reported similar issues. I created the default blinky program, imported the mbed-rtos library, and added #include rtos.h in my code.

  1. include "mbed.h"
  2. include "rtos.h"

DigitalOut myled(LED1);

int main() { while(1) { myled = 1; wait(0.2); myled = 0; wait(0.2); } }

This simple code fails to compile with the following error. Please resolve ASAP.

Error: Cannot open source input file "cmsis_os.h": No such file or directory in "mbed-rtos/rtos/RtosTimer.h", Line: 26, Col: 22


14 Nov 2014

Should be fixed.

14 Nov 2014


This is fixed in the web IDE but when we do a program export to GCC : ... In file included from ./mbed-rtos/rtos/rtos.h:25:0, from main.cpp:2: ./mbed-rtos/rtos/Thread.h:26:22: fatal error: cmsis_os.h: No such file or directory

  1. include "cmsis_os.h" ^ compilation terminated. ...