-
Philippe Gerum authored
Wait for the interface rework ongoing in I-pipe/4.14 before asking the co-kernel to have its say again, based on more information about the cpuidle device. For now, idling is denied only if IRQs are pending for the root stage. At this chance, a redundant execution of the idling check was fixed.
8d3fa22c