cd xenomai-3.1
sudowget https://xenomai.org/downloads/ipipe/v4.x/x86/ipipe-core-4.9.38-x86-4.patch
sudo ./scripts/prepare-kernel.sh --linux=/home/wx/linux-4.9.38 --ipipe=ipipe-core-4.9.38-x86-4.patch --arch=x86_64
配置menuconfig
cd linux-4.9.38
sudomake menuconfig
> Processor type and features
[] Linux guest support ----
[] Multi-core scheduler support
> Power management and ACPI options
[] Suspend to RAM and standby
[] Hibernation (aka 'suspend to disk')></