On 4/22/19 4:49 PM, Greg Gallagher wrote: > On Fri, Mar 29, 2019 at 6:37 AM Philippe Gerum via Xenomai > <[email protected]> wrote: >> >> 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. >> > > Hi, > I have a fix for this in my private ipipe tree, finishing testing > tonight. Phillipe are those trees open to the public or should I send > a patch to the list? >
Your tree on lab.xenomai.org is public, I'm fine with pulling patches directly from there upon request. -- Philippe.
