100644 blob cfeaa042891bfa145aa804913cb5007d5f680e96	Config.in
100644 blob 348abee4b1dcd14602126382539a97a6870bbee2	xenomai-do-not-install-devices.patch
100644 blob f79557999b6f888a8c7ce582e3992e6ae81fc8d5	xenomai.mk