I am student, I need to install setup xenomai for
verdex pro for my project. I am following steps as indicated in this link
But the link to user configuration as indicated in step 2 is broken, hence I am unable to obtain the required files.
Could you please help me out with an alternate for the user configuration or any other procedure to setup xenomai.
Thanks a lot in advance for all the help and support.