etisserant@203: class xenomai_target(targets.target_gcc):
etisserant@203:     extensionexe = ""
etisserant@203:     extensiondll = ""