On 02.04.2014, at 16:49, Fabien Chouteau <chout...@adacore.com> wrote:
> IRQ are lowered when ievent bit is cleared, so irq_pulse makes no sense > here... > > Signed-off-by: Fabien Chouteau <chout...@adacore.com> Thanks, applied to ppc-next. Given that the wiring with boards is still missing I don't think this is a critical 2.0 fix. Alex