100644 blob 767f6229db72f8afd9bd454479e51d545e3c64a5	Config.in
100644 blob 348abee4b1dcd14602126382539a97a6870bbee2	xenomai-do-not-install-devices.patch
100644 blob fbf20b5a555c2012a827d901f5f4159406d605b0	xenomai.mk