100644 blob 87a844d8bf6c7c031e82ee7ebf689f6f0508a428	Config.in
100644 blob 1290ca54fbae443c5e8cfd7575dbe7efa6ffb0d1	xenomai.hash
100644 blob c53d5148f040c89a1f010190e8207a2e92541436	xenomai.mk