A fork off the Real-Time Work-Steal Linux kernel