1.Linux-5.4.70 内核移植 xenomai-3.2.1需要的ipipe补丁

1.下载ipipe补丁地址网上可查，见附件pipe-core-5.4.72-arm64-0.patch。

2.将ipipe补丁pipe-core-5.4.72-arm64-0.patch导入到飞凌的linux内核中，并生成补丁导入的日志 ipipe-core-5.4.72-arm64-0.log

patch -p1 < ipipe-core-5.4.72-arm64-0.patch > ipipe-core-5.4.72-arm64-0.log

3.日志中会有两个内核文件的补丁内容未被正常更新，需要手动修改，附件中有日志文件，及补丁的修改文件。

附件见链接：

https://download.csdn.net/download/r417448038/88756360