[Xenomai] [PATCH] ipipe: gicv3: [v3] Enable interrupt pipelining.

Philippe Gerum rpm at xenomai.org
Thu Oct 19 11:46:42 CEST 2017


On 10/19/2017 10:43 AM, Christoph Müllner wrote:
> Is there anything else I can do to get this merged?

All good. Merged, thanks.

-- 
Philippe.



More information about the Xenomai mailing list