On 10/12/2017 02:49 PM, Christoph Muellner wrote: > This patch enables interrupt pipelining for ARM/ARM64 SoC with a > GICv3 interrupt controller. > > The patch was tested on a Rockchip RK3399 (ARM64 SoC) with > Linux 4.12.14, I-pipe 4.11-arm64 and Xenomai/Cobalt 3.1 (next). > xeno-test did not show any errors/fails and latency ran > 72 hours in a row. > > [v2]: Add I-pipe locking and the forwarding calls for locking/unlocking > the IRQ in case of masking/unmasking. > > [v3]: Using hard_cond_* instead of #ifdef'd hard_local_*. > > Signed-off-by: Christoph Muellner <christoph.muell...@theobroma-systems.com>
Merged, thanks. -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai