kernel: Add CONFIG_SCHED_IPI_CASCADE

When this new Kconfig option is enabled, preempted threads on an SMP
system may generate additional IPIs when they are switched out.

Signed-off-by: Peter Mitsis <peter.mitsis@intel.com>
2 files changed