adding bbb xenomai post