本篇文章记录自己安装完成Xenomai包的后续操作，参考的主要线索是
使用 uname -a可以查看本地的Linux内核版本
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:~$ uname -a
Linux warmtree-HP-Pavilion-Laptop-15-cc5xx 5.3.0-53-generic #47~18.04.1-Ubuntu SMP Thu May 7 13:10:50 UTC 2020 x86_64 x86_64 x86_64 GNU/Linux
我们在本地路径下没有找到内核的源代码
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:/home$ cd ..
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:/$ ls
bin etc lib media root srv usr
boot home lib32 mnt run swapfile var
cdrom initrd.img lib64 opt sbin sys vmlinuz
dev initrd.img.old lost+found proc snap tmp vmlinuz.old
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:/$ cd usr
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:/usr$ ls
bin games include lib lib32 libexec local sbin share src
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:/usr$ cd src
(base) warmtree@warmtree-HP-Pavilion-Laptop-15-cc5xx:/usr/src$ ls
gmock linux-headers-5.3.0-51 linux-headers-5.3.0-53-generic
googletest linux-headers-5.3.0-51-generic
gtest linux-headers-5.3.0-53
Linux内核代码用的是我们在官网https://www.kernel.org/下载的。
我们在Xenomai官网上下载了相应的Xenomai包，解压后在readme上面有一个提示如下：
Where to start from?
http://xenomai.org/start-here/ is the best place to start learning
about Xenomai 3.
Also, make sure to read the per-architecture README files, i.e.:
kernel/cobalt/arch/*/README
然后我们通过kernel/cobalt/arch/*/README路径找到相应的提示文件，这告诉我们下一步操作安装ipipe，我们下载了
Get the interrupt pipeline code for the target kernel from
http://xenomai.org/downloads/ipipe/,
or git://git.xenomai.org/ipipe.git
(从个人经验来讲)我们如果从官方网站进入,采用终端的方法进入
git clone https://gitlab.denx.de/Xenomai/ipipe-x86/-/tree/ipipe-x86-4.14.y
国内下载的速度很慢啊，不建议食用。我们通过readme里的提示找到这个下载网址https://xenomai.org/downloads/ipipe/v4.x/x86/界面如下：
如果没有找到自己合适的版本则通过 Parent Directory查找自己的处理器架构和版本号。双击直接下载，这样的下载速度相比方案1而言比较快。