26 

    26 

    27 

    27 

    28 class Xenomai_target(toolchain_gcc):

    28 class Xenomai_target(toolchain_gcc):

    29     dlopen_prefix = "./"

    29     dlopen_prefix = "./"

    30     extension = ".so"

    30     extension = ".so"

    31     def getXenoConfig(self, flagsname):

    32     def getXenoConfig(self, flagsname):

    32         """ Get xeno-config from target parameters """

    33         """ Get xeno-config from target parameters """

    33         xeno_config = self.CTRInstance.GetTarget().getcontent().getXenoConfig()

    34         xeno_config = self.CTRInstance.GetTarget().getcontent().getXenoConfig()

    34         if xeno_config:

    35         if xeno_config:

    35             from util.ProcessLogger import ProcessLogger

    36             from util.ProcessLogger import ProcessLogger