> Since you've found that, can you provide your answer to the objection > raised back then, that this is not permitted by the semihosting API > which we are implementing here?
I don't understand the question: what is not permitted exactly? -- Eric Botcazou