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