On 20/05/2015 12:12, Liviu Ionescu wrote: > yes, that's correct, my comment was related to the above quotes from your > message, in the first part you mention "the path won't be passed to > semihosting", which is not consistent with the actual behaviour, since the > entire kernel path is passed unchanged.
Ah, I see. Yes, that's a good point; I'm going to address this in v4. > > if you update the manual text, please rephrase to make the text easier to > understand and remove this notice related to no-path kernel. I rephrased it a bit (but please remember that "easier to understand" is very subjective): "Allows the user to pass input arguments, and can be used multiple times to build up a list. The old-style -kernel/-append method of passing a command line is still supported for backward compatibility. If both the --semihosting-config arg and the -kernel/-append are specified, the former is passed to semihosting as it always takes precedence." Thanks, Leon
