class xenomai_target(targets.target_gcc):

extensionexe = ""

extensiondll = ""