040000 tree c8c7b51da8dbc743cd37ee83370c7ea33df2a417	3.0.10
100644 blob d4983b084d15e3e50ab51847d9035eab1642db4a	Config.in
100644 blob 7a07f06155bd9f4a75aa89fdadc3cadda67f2863	xenomai.hash
100644 blob 378e51ad3e26300f0443b278eb3b40dd0b41397e	xenomai.mk