> On 01 Apr 2015, at 18:45, Christopher Covington <c...@codeaurora.org> wrote: > > I think the commit message and help text should include some information on > how this is different from -append and what the result is of specifying both > -append foo=a and -semihosting-config arg=foo=b.
if I remember right (did not check the sources recently), -append is used to add args to the kernel, a mechanism that always passes the long kernel absolute path as argv[0]. for semihosting cases the command line has a different purpose, and must not hardwire argv[0] to the kernel path. in my use case I actually do not use -kernel/-append at all, I load the image via the gdb server, as for any existing bare metal board. passing semihosting options via -semihosting-config is the natural solution. I think that configuring the kernel and configuring semihosting are two different things, and should have different command line options. regards, Liviu