我們在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/