[xenomai patch with kernel 5.4.77] Error building the kernel

Mohamed Irfanulla Mohamed Abdulla m.mohamedirfanulla at gmail.com
Fri Dec 4 16:13:21 CET 2020


Hi,

Thank you for your reply. I encountered another error.

Kernel: arch/x86/boot/bzImage is ready  (#1)
ERROR: "__ipipe_dispatch_irq" [drivers/pinctrl/intel/pinctrl-intel.ko]
undefined!
make[1]: *** [scripts/Makefile.modpost:94: __modpost] Error 1
make: *** [Makefile:1319: modules] Error 2

Is it good to exclude CONFIG_PINCTRL?

Thanks,

On Mon, Nov 30, 2020 at 2:27 PM Jan Kiszka <jan.kiszka at siemens.com> wrote:

> On 30.11.20 13:41, florian.bezdeka--- via Xenomai wrote:
> > On Mon, 2020-11-30 at 12:16 +0100, Mohamed Irfanulla Mohamed Abdulla
> > wrote:
> >> Thank you for your reply.
> >> I find that I use the wrong branch. Could you please suggest a good
> >> branch that I can use?
> >>
> >
> > I'm quite new to the Xenomai project, so don't trust me ;-)
> >
> > The problem you are facing was "fixed" in commit
> > 608c23297c4d ("cobalt/x86: Account for FPU changes in kernel 5.2")
> > which is part of the "next" branch.
> >
> > It looks like kernels >= 5.2 are not supported in official releases /
> > branches yet.
>
> Correct. Next 3.1.x release will include that. Until then you need a
> version from git.
>
> Jan
>
> --
> Siemens AG, T RDA IOT
> Corporate Competence Center Embedded Linux
>


More information about the Xenomai mailing list