Jan Kiszka wrote: > [My favorite again... :->] > > The initial rpi_push in xnshadow_start takes place for the caller's CPU, > instead of the thread's target CPU. > > I haven't fully made up my mind about the practical impact of this bug,
This would leave the kernel spuriously run at a boosted priority level on the source CPU. > I just came across it the hard way (rpi_push worked on uninitialized > data) while kicking CPUs out of the set that Xenomai shall support. At > least it should cause quite some RPI "confusion" for a while on both > involved CPUs. > Merged, thanks. > Jan > > > ------------------------------------------------------------------------ > > _______________________________________________ > Xenomai-core mailing list > Xenomai-core@gna.org > https://mail.gna.org/listinfo/xenomai-core -- Philippe. _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core