Clone of the Ubuntu Precise kernel repo with the Xenomai 3.5.3 patch applied and a Xenomai kernel 'flavour' configuration