本篇文章记录自己安装完成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而言比较快。