This is too old.
Below is another FreeRTOS on mbed.
http://developer.mbed.org/users/rgrover1/code/FreeRTOS/
I don't know it works well or not.
I have not evaluated it.
Changes
| Revision | Date | Who | Commit message |
|---|---|---|---|
| 0:d4960fcea8ff | 2011-01-01 | kenjiArai | (none) |