100644 blob 02b6d0f2233e8dd42972ca2c594871e88a1839e5	Config.in
100644 blob fdff0aa12d9662c9120ed2b85cd6401905d4f2f1	xenomai-0001-arm-enable-armv5tej-support.patch
100644 blob ce43676eaa63c490ecc32a8f0dd2f952525e1dfd	xenomai-0002-posix-fix-build-failure-when-HAVE_OPEN64-is-undefine.patch
100644 blob 1fd3135043a78443b7b09b20f88f50851299244d	xenomai.mk