What RTOS have you used or recommend for 32-bit processors.
I'm interested in mainstream processors here: PowerPC, Pentium, ARM, MIPS
A link to a web site would be a nice bonus.
Let's conduct this as a poll. Please only provide one selection per answer and mod up if you agree with a selection already present.