On Wed, 1 May 2019 at 16:23, Stefan Hajnoczi <stefa...@gmail.com> wrote: > > On Mon, Apr 29, 2019 at 12:53:48PM +0000, Joel Stanley wrote: > > 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. > > -kernel doesn't support the .hex file format that is most commonly used > for micro:bit programs. Are you loading ELFs?
Yes, I am loading ELFs.
