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 2dd1bf601e590bcfd0cd86d101660cc2ef7f6f72	xenomai.mk