编译完的xenomai3.1内核包。linux内核版本4.9.38。 下载后 sudodpkg-ilinux-image-4.9.38-xenomai-3.1_4.9.38-xenomai-3.1-10.00.Custom_amd64.deb安装带xenomai补丁的内核