Contiki .. is an open source, highly portable, multi-tasking operating system for memory-efficient networked embedded systems and wireless sensor networks.
eCos .. is an open source, royalty-free, real-time operating system intended for embedded applications
ThreadX ... commercial RTOS for uC with small footprint (3kB RAM / 2kB ROM)