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? Stefan
signature.asc
Description: PGP signature