Zephyr

VirtuosoNext Designer can be considered a 5th generation of the Virtuoso RTOS, whose origins go back to 1991. It was the first RTOS that was completely distributed and mainly used for parallel DSP applications, often in the demanding aero-space-defense domain. Some target systems had 12000 processors, the most prominent one was ESA's Rosetta spacecraft.