SMT-aware Real-time scheduler for Linux