That'd be very interesting, having a scheduler that can toggle between real-time and non real-time depending on the process. Although I'm not sure what that'd l

That'd be very interesting, having a scheduler that can toggle between real-time and non real-time depending on the process. Although I'm not sure what that'd look like physically in terms of core usage.