There's also Green Hills, which has a far better product (Integrity) vs. WRS VxWorks. Somehow VxWorks has better marketing and more sales, because their product is cheaper.

Both are commonly used for space-borne platforms, and I've done development for said platforms with both.