Free RTOS is available for the PSOC 5. It will require some work to use.

The following website has a project for Free RTOS for the CY8CKit-059 board, available for $10 from places like mouser. I have compiled and loaded this project, and it appears to work, so it is a good starting point.