我们在Xenomai安装路径下打开一个新的终端输入如下命令:
sudo scripts/prepare-kernel.sh --linux=/home/warmtree/下载/linux-4.14.183
我们还要输入相应的ipipe路径才能继续执行下去。
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:~/下载/xenomai-3.1$ sudo scripts/prepare-kernel.sh --linux=/home/warmtree/下载/linux-4.14.183
[sudo] warmtree 的密码:
Target architecture [default x86_64]:
I-pipe patch: /home/warmtree/下载/ipipe-core-4.14.134-x86-8.patch
还可以在最开始就配置好所用内容。等号右边是我们保存的相应路径
scripts/prepare-kernel.sh --linux=../kernel/linux-4.x.y
--adeos=./ksrc/arch/x86/patches/ipipe-core-4.x.y-x86-2.patch
--arch=x86
安装结果如下所示:
出现问题:prepare-kernel.sh: Unable to patch kernel 4.14.183 with ipipe-core-4.14.134-x86-8.patch.
这告诉我们版本号只有第一,二组数字对应上是不够的,我们必须连第三组数字也要对应上。又一次失败了。这回我们在下载内核版本和ipipe时一一对照看是否有对应的一模一样的版本。最后选定了4.9.146版本。分别在如下网址下载。希望这一次可以匹配上。如果能找到更新的版本会更好。
https://mirrors.edge.kernel.org/pub/linux/kernel/v4.x/
https://xenomai.org/downloads/ipipe/v4.x/x86/