I'm trying to find a free/cheap RTOS that others have found works well with the NXP LPC1788 microcontroller. I was originally planning on using FreeRTOS, but it doesn't seem to support that particular processor; the closest supported core is the LPC1768. ThreadX works with the LPC1788, but a license for it will cost several thousand pounds. Suggestions?
EDIT 1: I forgot to mention, I'm working with IAR Embedded Workbench.
EDIT 2: I guess I should also point out that I'm fairly new to embedded programming, let alone using RTOS's. FreeRTOS and ThreadX both seem to be pretty similar, and both have fairly intuitive API's. The more that the API of another RTOS matches with these kinds of API's, the better I suppose.
EDIT 3: I've been looking into one RTOS called embOS. It looks professional, the API looks nice, they support a decent number of processor/IDE combinations (including mine), and I've already got an example project working fine. It's not free, and a license for it will cost around 2500 euros, but that's still around 3 times cheaper than the threadX license. Thanks for the suggestions, I feel kind of bad that I can't choose an accepted answer.