[PATCH website v1 1/5] doc: replace legacy I-pipe usage with Dovetail
[email protected] Sun, 28 Jun 2026 12:50:55 +0800
| Newsgroups | dev.linux.lists.xenomai |
|---|---|
| Message-ID | <738207fd746e8996312b8cb4559c5642980e3c36.1782585785.git.guang_feng_wang@163.com> |
From: guang feng wang <[email protected]> The installation guide still documents prepare-kernel.sh and several Cobalt kernel preparation examples with the legacy --ipipe option. Update those examples to use the Dovetail option instead. Signed-off-by: guang feng wang <[email protected]> --- content/installation/_index.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/content/installation/_index.md b/content/installation/_index.md index 0febbf6..673b51b 100644 --- a/content/installation/_index.md +++ b/content/installation/_index.md @@ -40,7 +40,7 @@ script which sets up the target kernel properly. The syntax is as follows: $ scripts/prepare-kernel.sh [--linux=<linux-srctree>] - [--ipipe=<ipipe-patch>] [--arch=<target-arch>] + [--dovetail=<dovetail-patch>] [--arch=<target-arch>] `--linux` specifies the path of the target kernel source tree. Such kernel tree @@ -197,7 +197,7 @@ typically run: $ cd $linux_tree $ $xenomai_root/scripts/prepare-kernel.sh --arch=x86 \ - --ipipe=ipipe-core-X.Y.Z-x86-NN.patch + --dovetail=dovetail-core-X.Y.Z-x86-NN.patch $ make [ARCH=i386] xconfig/gconfig/menuconfig configure the kernel (see also the recommended settings @@ -213,7 +213,7 @@ would be as follows: $ cd $linux_tree $ $xenomai_root/scripts/prepare-kernel.sh --arch=i386 \ - --ipipe=ipipe-core-X.Y.Z-x86-NN.patch + --dovetail=dovetail-core-X.Y.Z-x86-NN.patch $ make xconfig/gconfig/menuconfig configure the kernel (see also the recommended settings @@ -227,7 +227,7 @@ Similarly, for a 64bit platform, you would use: $ cd $linux_tree $ $xenomai_root/scripts/prepare-kernel.sh --arch=x86_64 \ - --ipipe=ipipe-core-X.Y.Z-x86-NN.patch + --dovetail=dovetail-core-X.Y.Z-x86-NN.patch $ make xconfig/gconfig/menuconfig configure the kernel (see also the recommended settings @@ -250,7 +250,7 @@ cross-compiler: $ cd $linux_tree $ $xenomai_root/scripts/prepare-kernel.sh --arch=powerpc \ - --ipipe=ipipe-core-3.10.32-powerpc-1.patch + --dovetail=dovetail-core-X.Y.Z-powerpc-NN.patch $ make ARCH=powerpc CROSS_COMPILE=ppc_6xx- xconfig/gconfig/menuconfig …select the kernel and Xenomai options, save the configuration @@ -267,7 +267,7 @@ will look like: $ cd $linux_tree $ $xenomai_root/scripts/prepare-kernel.sh --arch=arm \ - --ipipe=ipipe-core-X.Y.Z-x86-NN.patch + --dovetail=dovetail-core-X.Y.Z-arm-NN.patch $ mkdir -p $build_root/linux $ make ARCH=arm CROSS_COMPILE=arm-none-linux-gnueabi- O=$build_root/linux \ csb637_defconfig @@ -285,7 +285,7 @@ follows: $ cd $linux_tree $ $xenomai_root/scripts/prepare-kernel.sh --arch=arm64 \ - --ipipe=ipipe-core-X.Y.Z-arm64-NN.patch + --dovetail=dovetail-core-X.Y.Z-arm64-NN.patch $ mkdir -p $build_root/linux $ make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- O=$build_root/linux \ defconfig -- 2.34.1