beremiz

5a4e6278a18b
Adding support for Xenomai targets.
import time,sys
def myprintfunc(arg):
print arg
sys.stdout.flush()
return arg