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: missing rtx dependency

I am trying to build rtos for frdm-k64f-gcc using yotta on my mac. The compiler can not find cmsis_os.h.

It seems "rtx" is a missing dependency.

Any idea how to fix it ?