I am student, I need to install setup xenomai for verdex pro for my project. I am following steps as indicated in this link http://wiki.gumstix.org/index.php?title=Xenomai_-_Mini_Howto

       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.

With Regards,