100644 blob f3d8ea4baf63b41c27bf52f398babab1574c707c	Config.in
100644 blob c36badb6bf131b8cd0a52cb1fa205a649bebbd78	xenomai.hash
100644 blob 6bf08edfbcc910012b61f5ebff0ae7c9dbb20182	xenomai.mk