/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
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
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
[