100644 blob b09472d2062ab4d26eeee341d9e328f7baeae014	Config.in
100644 blob 348abee4b1dcd14602126382539a97a6870bbee2	xenomai-do-not-install-devices.patch
100644 blob 7c98c2ebf6692441a2fc705cf07bad64399cbc4b	xenomai-thumb-fix.patch
100644 blob f40cbdc48cd284fcf2210820a0dcc8ca16aaf583	xenomai.mk