Tu as une installation avec fichier "r4.dat" ?
Si c'est le cas, tu dois pouvoir, toi, utiliser directement le menu du DSTT
Ce serait plus simple et surtout plus joli!

Est-ce que tu peux me donner un lien vers le kernel que tu utilises pour ton linker?