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>


Reply via email to