Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
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.