Mirror of git://git.xenomai.org/xenomai-2.6.git