So far, we have only considered scheduling on real-time systems — naturally, Linux can do slightly
better. Besides support for multiple CPUs, the kernel also provides several other enhancements that
relate to scheduling, discussed in the following sections. Notice, however, that these enhancements add
much complexity to the scheduler