All the steps we have followed is in the website:https://gitlab.denx.de/Xenomai/xenomai/-/wikis/Installing_Xenomai_3
Preparing the Cobalt kernel
First,we would like to prepare the Cobalt kernel using following instruction in Xenomai 3.x file.
We used to meet a common error:prepare-kernel.sh: Unable to patch kernel 4.14.183 with ipipe-core-4.14.134-x86-8.patch because of the different version between Linux kernel and ipipe.The number of the version must be the same.
Then we reinstalled Linux kernel and ipipe and this time we succeeded.Here is our code.
scripts/prepare-kernel.sh --linux=/home/warmtree/下载/