Try ChibiOS and FreeRTOS here http://code.google.com/p/beta-lib/downloads/list.I fixed the 128K problem in FreeRTOS20111031.zip.I like ChibiOS better, it is smaller and faster. ChibiOS20120221.zip is the latest release.There are examples with both so they are easy to try.
Please enter a valid email to subscribe
We need to confirm your email address.
To complete the subscription, please click the link in the
email we just sent you.
Thank you for subscribing!
via Egeo 16