Try ChibiOS and FreeRTOS here Google Code Archive - Long-term storage for Google Code Project Hosting..
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.