kernel compile problem

C Smith csmithquestions at
Fri Mar 1 07:46:26 CET 2019

I am unable to compile a xenomai-patched kernel. I get this message:
warning: (XENOMAI) selects IPIPE which has unmet direct dependencies

kernel sources from 4.14.89
with ipipe-core-4.14.89-x86-2.patch applied
gcc version 4.9.2 20150212

I have attached my .config here. My apologies if it gets inlined.
This config came from a working xenomai 2.6.5, 3.18.20 kernel.

-C Smith
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config_ipipe_20190228
Type: application/octet-stream
Size: 148057 bytes
Desc: not available
URL: <>

More information about the Xenomai mailing list