Installing xenomai user space tools

After you prepared the kernel for xenomai you can install the user space tools
- Run the configure script of xenomai
./configure --
- Build xenomai tools
make
- Install the build tools
make install
- Run the test script of xenomai

http://www.xenomai.org/documentation/xenomai-2.6/html/README.INSTALL/#userspace