QNX

QNX is probably the most successful commercial real-time OS, with a number of interesting features and a sizable development community. I've been tracking it for years, since it's always an interesting option for putting old hardware to good use.

Resources:

• OpenQNX
• Mozilla ports