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 config would be useful. Henning On Tue, 31 Mar 2020 14:42:45 -0700 C Smith via Xenomai <xenomai@xenomai.org> 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 -j4 bzImage > > I'm getting following error: > > arch/x86/kernel/apb_timer.c: In function ‘apbt_set_mapping’: > arch/x86/kernel/apb_timer.c:122:21: error: too few arguments to > function ‘dw_apb_clocksource_init’ > clocksource_apbt = dw_apb_clocksource_init(APBT_CLOCKSOURCE_RATING, > ^~~~~~~~~~~~~~~~~~~~~~~ > In file included from arch/x86/kernel/apb_timer.c:31: > ./include/linux/dw_apb_timer.h:50:1: note: declared here > dw_apb_clocksource_init(unsigned rating, const char *name, void > __iomem *base, > ^~~~~~~~~~~~~~~~~~~~~~~ > make[2]: *** [scripts/Makefile.build:303: arch/x86/kernel/apb_timer.o] > Error 1 > make[1]: *** [scripts/Makefile.build:544: arch/x86/kernel] Error 2 > make[1]: *** Waiting for unfinished jobs.... > > > config_20200331 > <https://drive.google.com/file/d/1n3gdgMogUUKjleWzEgAEGu_330mYX_io/view?usp=drive_web> > > > Thank you > -------------- next part -------------- > A non-text attachment was scrubbed... > Name: config_20200331 > Type: application/octet-stream > Size: 208519 bytes > Desc: not available > URL: > <http://xenomai.org/pipermail/xenomai/attachments/20200331/ed753c3a/attachment.obj>