I have used ucosII (not on your particular chip) in the past. Good documentation + support.
RTThread is fairly popular as well, as is freeRTOS.
Sometimes the compiler vendors will throw in a free RTOS so that's another possibility.
I think that unless you have a real mmu, running a true OS is more pain than it is worth. A job scheduler might be a more appropriate solution.