100644 blob d4c8a89d422c9064ccdeb969fd658b42b2feeb9b	Config.in
100644 blob 4d74472ee33f2b45858d911fc887b98449c089dd	xenomai.hash
100644 blob aa3b007d00c58aa5e85a971a9de27d103867fde1	xenomai.mk