Re: [ipipe 5.4-arm] WARNING: CPU: 0 PID: 1 at kernel/irq/chip.c:55 irq_set_chip+0xc4/0xd4

2021-03-06 Thread Greg Gallagher via Xenomai
On Sat, Mar 6, 2021 at 6:55 AM Jan Kiszka wrote: > Hi Greg, > > the pipeline is getting greener again but I just ran into this new issue: > > https://source.denx.de/Xenomai/xenomai-images/-/jobs/234340 > > Seen before? > > Quirin, Florian, as we were discussing whether such a warning would be > c

[ipipe 5.4-arm] WARNING: CPU: 0 PID: 1 at kernel/irq/chip.c:55 irq_set_chip+0xc4/0xd4

2021-03-06 Thread Jan Kiszka via Xenomai
Hi Greg, the pipeline is getting greener again but I just ran into this new issue: https://source.denx.de/Xenomai/xenomai-images/-/jobs/234340 Seen before? Quirin, Florian, as we were discussing whether such a warning would be caught already: this answers it. We just need to see it on the seria