You can refer this IEEE paper which talks about the details: "VRTX: A Real-Time Operating System for Embedded Microprocessor Applications"