Texas Instruments has developed a new, free real-time operating system (RTOS) based on a pre-emptive multithreading kernel, which will run on the full portfolio of TI microcontrollers, including dual core devices. TI-RTOS includes a deterministic, real-time multitasking kernel (SYS/BIOS) with a TCP/IP stack, including network applications, USB, EMAC, MMC/SD host and device stacks and class drivers, FAT-compatible file system fully integrated with C RTS file I/O functions and Ethernet, USB, UART, I²C and SD device drivers
See the article here:
TI Launches RTOS for Microcontrollers