Hi all, Today I uploaded a new version that can build and run,
https://github.com/intel/linux-stable-xenomai/commits/review/5.4.58/stable/ipipe/xenomai-3.1 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
