[xenomai patch with kernel 5.4.77] Error building the kernel

Jan Kiszka jan.kiszka at siemens.com
Mon Dec 7 07:52:45 CET 2020


On 04.12.20 16:13, Mohamed Irfanulla Mohamed Abdulla wrote:
> 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?

Only if you do not need that. But there might be cases where this cannot
be off.

Fino, could you have a look?

Jan

> 
> Thanks,
> 
> On Mon, Nov 30, 2020 at 2:27 PM Jan Kiszka <jan.kiszka at siemens.com
> <mailto: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
> 


-- 
Siemens AG, T RDA IOT
Corporate Competence Center Embedded Linux



More information about the Xenomai mailing list