I have had an issue trying to run Xenomai Kernel.
I installed Ubuntu 20 in a VM from Hyper-V on Windows, inside this Ubuntu 20 I created and added a Xeonmai 4 kernel
