On 3/28/19 8:51 PM, Giulio Moro via Xenomai wrote: > Hi there, > booting a 4.14.94-ti kernel with Cobalt 3.0.8 from the "stable/v3.0.x" > branch, on an am3358 (PocketBeagle) I get a warning during boot "irqchip > tps65217 is not pipeline-safe!". The tps65217 is the power-management IC for > the board. What does this message mean exactly? Is it something to be > concerned about? The board has behaved fine when running Xenomai tasks, in > spite of this issue.
Nevertheless, this is unreliable. This warning is issued because the irqchip code handling the tps65217 mfd which is enabled on your platform was not tagged as supporting IRQ pipelining (IRQCHIP_PIPELINE_SAFE not present in the flags). At the very least, this means that nobody cared checking for this. This matter is documented in Documentation/ipipe.rst. -- Philippe.
