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.
_______________________________________________
Xenomai mailing list
[email protected]
https://xenomai.org/mailman/listinfo/xenomai
