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
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
I just did some digging around in the mbed-rtos library and determined that TARGET_LPC11U35_401 only needs to be added to the OS_TASKCNT, OS_CLOCK, and OS_SCHEDULERSTKSIZE definitions in RTX_Conf_CM.c, and the INITIAL_SP definition in RTX_CM_lib.h to solve this issue.