Re: ipipe kernel image compile error

2020-04-01 Thread Jan Kiszka via Xenomai
On 31.03.20 23:42, C Smith via Xenomai wrote: Hi, I'm having a problem compiling Kernel 4.19.109 with ipipe-core-4.19.109-cip22-x86-11.patch using Xenomai-3.1. $ scripts/prepare-kernel.sh --linux=../linux/ --ipipe=../ipipe-core-4.19.109-cip22-x86-11.patch --arch=x86 I'm compiling with: $ m

Re: ipipe kernel image compile error

2020-04-01 Thread Henning Schild via Xenomai
Hi, i do not know what that timer is or whether it is wise to choose it for an ipipe kernel. You can probably work around the issue by not setting CONFIG_APB_TIMER in your kernel configuration. And my guess is that you will not be missing any features. In order to reproduce the issue, your

ipipe kernel image compile error

2020-03-31 Thread C Smith via Xenomai
Hi, I'm having a problem compiling Kernel 4.19.109 with ipipe-core-4.19.109-cip22-x86-11.patch using Xenomai-3.1. $ scripts/prepare-kernel.sh --linux=../linux/ --ipipe=../ipipe-core-4.19.109-cip22-x86-11.patch --arch=x86 I'm compiling with: $ m -j4 bzImage I'm getting following error: