On 13 November 2014 21:23, Liviu Ionescu <i...@livius.net> wrote: > > On 13 Nov 2014, at 19:52, Peter Maydell <peter.mayd...@linaro.org> wrote: > >> ... I'm not sure how useful "gdb" is as distinct from >> "auto" (what do you do with the semihosting requests if no >> gdb is connected in this case?). > > well, I also had some doubts about "gdb", but since I never used > this configuration, I preferred to keep it, mainly for completeness. > > I did some tests and apparently nothing wrong happens when setting > "gdb" and no connection is available. > > I'm about to prepare the patch, do you suggest to remove this case?
...I'm confused, I think. I thought 'gdb' was an option you added? Can you explain what the three options you're proposing do, and which of them is the behaviour we have today? thanks -- PMM