[Xenomai] [I-PIPE] [Patch] IRQ pipelining support for GICv3

Dmitriy Cherkasov dmitriy at oss-tech.org
Tue Oct 10 01:10:52 CEST 2017

On 10/09/2017 02:22 AM, Christoph Müllner wrote:
> Hi Xenomai/I-pipe devs,
> we have I-pipe/Cobalt/Xenomai running here on a Rockchip RK3399, which is a six core ARMv8/aarch64 SoC.
> Our current kernel is based on vanilla Linux 4.12.10 and we've applied the I-pipe patches for 4.11-arm64.
> Of course there were some conflicts, but we managed to resolve them quickly.
> On top of that we are running Xenomai 3.1 (next) in dual-kernel configuration (Cobalt).
> xeno-test did not show any errors/fails and we've successfully run latency for more than 72 hours in a row.
> The RK3399 has an ARM GICv3 interrupt controller. Unfortunately the I-pipe patches don't include
> support for that controller. Therefore I'd like to contribute a patch for that (see attachment).
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: 0001-ipipe-gicv3-Enable-interrupt-pipelining.patch
> Type: application/octet-stream
> Size: 1890 bytes
> Desc: not available
> URL: <http://xenomai.org/pipermail/xenomai/attachments/20171009/d69b8f01/attachment.obj>

Shouldn't ipipe_lock/unlock_irq() be added to the mask/unmask functions as well? 
Otherwise hold/release don't do anything special.

More information about the Xenomai mailing list