040000 tree 6d66465d82178bd5488f11183fb62b791a171289	3.0.10
100644 blob d4983b084d15e3e50ab51847d9035eab1642db4a	Config.in
100644 blob 7a07f06155bd9f4a75aa89fdadc3cadda67f2863	xenomai.hash
100644 blob 9356919259bab986fdfcba7859c7ac2f628d9d0e	xenomai.mk