SMT-aware Real-time scheduler for Linux - View it on GitHub