VRTX
VRTX comes in two flavors: VRTXmc (micro-controller) for small systems requiring minimal memory use and VRTXsa (scalable architecture) for full operating system features. Most companies developing software with VRTX use ARM, MIPS, PowerPC or other RISC microprocessors.
Read more about this topic: Versatile Real-Time Executive