On 17 April 2012 21:31, Blue Swirl <blauwir...@gmail.com> wrote: > On Tue, Apr 17, 2012 at 20:27, Peter Maydell <peter.mayd...@linaro.org> wrote: >> ARM has a default board set, which is unfortunate because it's >> hardware that nobody uses now, so the QEMU default setting >> mostly serves to trip up users who try to run a kernel for >> some other machine on it by mistake. > > Then change it.
As I say, I don't want to break command line compatibility. -- PMM