Lisence ... is not decided.
Thanks for rtt_lwr!! This script is re-written them works.
You can get xenomai kernel and update with these script.
bash update_linux.sh && sudo reboot
bash prepare_apt.sh && sudo reboot
bash apply_xenomai.sh && sudo reboot
bash setenv_xenomai.sh && sudo reboot