ping-local-xenomai-native.aadl 968 Bytes