cmsis_os2.h missing?

03 Oct 2017

When I tried to compile a small sample project using Mutex, at the line

#include <Mutex.h>

I get an error saying

Cannot open source input file "cmsis_os2.h": No such file or directory "#include "cmsis_os2.h""

I wonder if Mutex is going to be obsolete, or it's just another daily glitch?

moto

03 Oct 2017

Now it compiles OK

moto

03 Oct 2017

same issue here. These constant glitches are preventing us using this system for teaching...

04 Oct 2017

Same issue here with 401RE and 429ZI boards tried exporting to uVsion5 but with same error cmsis_os2.h

Also when exporting sure enough that file and whole directory mbed-os\rtos\rtx5 is missing

Also mbed_rtos_storage.h, mbed_rtos1_types.h in mbed-os\rtos missing

Applies to OS5.6.x previous 5.5 all compile and export as expected

Wanted to use the 5.6 'tickerless' feature......