Make -kernel optional for all ARM boards, by allowing arm_load_kernel() to return without doing anything if no kernel filename was provided. In this case we will start execution at address zero (as the hardware does). This allows the user to provide a flash image or similar on some boards; in particular it's possible to run a UEFI image on the versatile express boards.
The second patch tidies up a few boards which had already effectively provided this flexibility at the board level. Peter Maydell (2): hw/arm/boot: Make user not specifying a kernel not an error hw/arm: Tidy up conditional calls to arm_load_kernel hw/arm/boot.c | 6 ++++-- hw/arm/omap_sx1.c | 10 ++++------ hw/arm/palm.c | 10 ++++------ hw/arm/z2.c | 12 +++++------- 4 files changed, 17 insertions(+), 21 deletions(-) -- 1.7.11.4
