This site provides an incomplete list of Embedded RTOS with additional information like licensing models, cost involved if published