kernel compile problem

C Smith csmithquestions at gmail.com
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
(HAVE_IPIPE_SUPPORT)

kernel sources from kernel.org: 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.

thanks,
-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: <http://xenomai.org/pipermail/xenomai/attachments/20190228/b79a99dc/attachment.obj>


More information about the Xenomai mailing list