Oh boy, just when I thought I understood your question. Xenomai git sources currently supports the 4.4 series, 4.9 series, and 4.14.
If you want 4.14 support, use this one: https://gitlab.denx.de/Xenomai/ipipe-x86 Then follow this guide, starting at "Installing the Cobalt core:" https://gitlab.denx.de/Xenomai/xenomai/wikis/Installing_Xenomai_3 Basically the steps are, for 4.14: $ git clone https://gitlab.denx.de/Xenomai/ipipe-x86 $ git clone https://gitlab.denx.de/Xenomai/xenomai $ cd ipipe-x86 && bash ../xenomai/scripts/prepare-kernel.sh --arch=x86 $ make menuconfig Enable IPIPE, Cobalt core, etc. configure to your needs. I'm going off memory here but I'm pretty sure that's it, kernel side anyway. When you're done: $ cd xenomai && ./scripts/bootstrap && ./configure && make && sudo make install For configure parameters: $ ./configure --help Alright, am I missing anything? Alec
