040000 tree 35e684f2fb0331df8a2ce62203e0f2d6913d9f02	3.0.10
100644 blob ec6d9e5d299e3fd1fbb161e01031b8895ea05cd6	Config.in
100644 blob 7a07f06155bd9f4a75aa89fdadc3cadda67f2863	xenomai.hash
100644 blob 7e3b130085ee14f921a4d5da312a30ee9b2df00e	xenomai.mk