xenomai on kernel 5.4 update

Meng, Fino fino.meng at intel.com
Tue Sep 1 11:37:07 CEST 2020

Hi all,

Today I uploaded a new version that can build and run, 


step to build after clone: 

cp kernel_config_xenomai  .config
make olddefconfig
make bindeb-pkg -j16

if build OK, u can install linux-image_*.deb with Debian 10,
I tested  Xenomai 3.1's latency on Debian 10, runs good.
Ubuntu should also work but I didn't test yet.
Next step is do more test and refine the patches.

BR / Fino (孟祥夫)
Intel – IOTG Developer Enabling

More information about the Xenomai mailing list