Variability-Aware Real-Time Operating System