VRTX: A Real-Time Operating System for Embedded Microprocessor Applications | Synapse