I use Linux repository provided by Xilinx, like below.
https://github.com/Xilinx/linux-xlnx
And I use ipipe-arm64 repository, like below.
https://gitlab.denx.de/Xenomai/ipipe-arm64
First I made a patch file between ipipe-arm64 and linux-stable-4.14.4 tag.
Next I pached to linux-xlnx.
And I succeeded the petalinux build with patched linux-xlinx.
This method is wrong?
Could you give me some advice?
I am not yet familiar with the mail list and have rewritten it.
- Thomas
2018년 11월 29일 (목) 오후 8:59에 Greg Gallagher
mailto:g...@embeddedgreg.com>>님이 작성:
What version of the kernel/ipipe are you using? If you want to use petalinux
you'll need to apply to ipipe patch to it.
-Greg
On Wed., Nov. 28, 2018, 9:39 p.m. 우 창현 via Xenomai
mailto:xenomai@xenomai.org> wrote:
Hi.
I'm porting the 3.1-dev xenomai on the ZynqMP.
I succeed build from petalinux but a WARNING message occurred on the dmesg,
like below.
[1.325926] [ cut here ]
[1.325954] WARNING: CPU: 1 PID: 1 at /kernel-source//kernel/irq/chip.c:57
irq_set_chip+0x94/0xa8
[1.325965] Modules linked in:
[1.325978] CPU: 1 PID: 1 Comm: swapper/0 Not tainted 4.14.0-ipipe #1
[1.325987] Hardware name: xlnx,zynqmp (DT)
[1.325994] I-pipe domain: Linux
I found a similar issue on this mailing list.
https://xenomai.org/pipermail/xenomai/2018-February/038318.html
I think that the 'IRQCHIP_PIPELINE_SAFE' flag isn't set for Xilinx IRQ source
code.
So could you investigate for this warning like BCM2835?
Best Regards,
Thomas Woo
