Mirror of git://git.xenomai.org/ipipe.git