Xenomai 改造 Ubuntu

最新推荐文章于 2025-11-11 16:16:47 发布

原创最新推荐文章于 2025-11-11 16:16:47 发布 · 1.1k 阅读

1 ·

CC 4.0 BY-SA版权

嵌入式专栏收录该内容

85 篇文章

订阅专栏

本文详细介绍了如何使用Xenomai补丁构建实时内核的过程，包括获取补丁源代码、下载内核源代码、配置内核、安装必要的软件包、打补丁、编译内核以及安装库函数等关键步骤。

1、http://xenomai.org/ 获得补丁源代码

2、apt-get source linux-image-$(uname -r) 获得当前 ubuntu 内核源代码。其他获得方法：https://wiki.ubuntu.com/Kernel/SourceCode 这个不行，原因是xenomai中ipipe 补丁只是支持到/home/sfe1012/RealTimeOs/xenomai-3.0.2/kernel/cobalt/arch/x86/patches/ipipe-core-4.1.18-x86-3.patch 这个目录。所以，只能下载https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.1.18.tar.xz 作为源代码，还没有找到ubuntu 内核直接对应

3、到如 /usr/src/linux-headers-4.2.0-41-generic 目录中找到隐藏内盒默认配置文件 .config , 拷贝到2步骤中获得的源代码的目录中如：/home/sfe1012/RealTimeOs/UbuntuKernel/linux-lts-wily-4.2.0 。

或者在2中下载的源代码目录：$cp /boot/config-`uname -r` .config

4、为防止make menuconfig产生错误，安装一些必要的软件包

sudo apt-get install libncurs*

sudo apt-get install kernel-package

5、打补丁 $ cd /home/sfe1012/RealTimeOs/xenomai-3.0.2

                 $ sudo ./scripts/prepare-kernel.sh --linux=/home/sfe1012/RealTimeOs/linux-4.1.18/ --arch=x86_64

出现的问题：I-pipe patch [default /dev/null]: /dev/null

prepare-kernel.sh: cannot read I-pipe patch from /dev/null

6、编译内核

sudo CONCURRENCY_LEVEL=3 fakeroot make-kpkg --initrd --append-to-version=-xenomai kernel_image kernel_headers

能够生成 linux-image-4.1.18-xenomai_4.1.18-xenomai-10.00.Custom_amd64.deb 和 linux-headers-4.1.18-xenomai_4.1.18-xenomai-10.00.Custom_amd64.deb 两个安装包，现象正常程序一样安装他们一个是头文件一个是内核。重启！

7、改变环境变量

（1）在/etc/enviroment目录下添加 PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/usr/local/xenomai-3.0.2:/usr/local/xenomai-3.0.2/sbin"

8、安装库函数

cd /usr/src /xenomai-3.0.2

sudo ./configure --enable-dlopen-skins --prefix=/usr/local/xenomai-3.0.2

sudo make

sudo make install