On Mon, 10 Jun 2019, Leonard Crestez wrote: > On 6/10/2019 5:08 PM, Marc Zyngier wrote: > > Nobody is talking about performance here. It is strictly about > > correctness, and what I read about this system is that it cannot > > reliably use cpuidle. > My argument was that it's fine if PPIs and LPIs are broken as long as > they're not used: > > * PPIs are only used for local timer which is not used for wakeup. Huch? The timer has to bring the CPU out of idle as any other interrupt. Thanks, tglx
