100644 blob e0118c1112f19a51112ce684e835d21883ab0239	Config.in
100644 blob c36badb6bf131b8cd0a52cb1fa205a649bebbd78	xenomai.hash
100644 blob 98f550af60a613a606c2bbb8d717e40d28a63d07	xenomai.mk