100644 blob f9de36bf226dcc9c46dca35ad0064cd1c09c6d2d	Config.in
100644 blob 348abee4b1dcd14602126382539a97a6870bbee2	xenomai-do-not-install-devices.patch
100644 blob f10dec0c9307714c81865373e591ece28774062d	xenomai.mk