On Fri, 26 Apr 2019 at 09:17, Stefan Hajnoczi <stefa...@redhat.com> wrote: > > A user-friendly error message is needed here. The check for -kernel was > too specific and is not desirable for microbit where we use -device > loader. > > Old boards probably want to continue using -kernel. New boards like > microbit may use just -device loader. Perhaps there is even a group > that wants both options.
FWIW, I used -kernel exclusively when working on the microbit model. Other users may chose to use the device loader/hex file. I am all for usability, but getting rid of the ability to use -kernel on some machine types would be a step in the wrong direction. Cheers, Joel > > A solution is to introduce explicit checks so that we can tell the user > the appropriate option for the machine type. I can work on this if you > like, but probably won't be able to send a patch until Tuesday. > > Stefan
