diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2020-09-15 14:08:59 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-09-17 14:16:19 +0200 |
| commit | 67eb6a4007fd8f9073020e506453ff5b7c25cb34 (patch) | |
| tree | c3020e17fe792da8915392716da78471516b661d | |
| parent | 55c4b069973196b1d9089162e31f5bd7d9f17630 (diff) | |
microvm/acpi: use seabios with acpi=on
With acpi=off continue to use qboot.
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Reviewed-by: Igor Mammedov <imammedo@redhat.com>
Reviewed-by: Sergio Lopez <slp@redhat.com>
Message-id: 20200915120909.20838-12-kraxel@redhat.com
| -rw-r--r-- | hw/i386/microvm.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/hw/i386/microvm.c b/hw/i386/microvm.c index ca0c9983f1..54510a03f7 100644 --- a/hw/i386/microvm.c +++ b/hw/i386/microvm.c @@ -52,6 +52,7 @@ #include "hw/xen/start_info.h" #define MICROVM_QBOOT_FILENAME "qboot.rom" +#define MICROVM_BIOS_FILENAME "bios-microvm.bin" static void microvm_set_rtc(MicrovmMachineState *mms, ISADevice *s) { @@ -174,7 +175,9 @@ static void microvm_devices_init(MicrovmMachineState *mms) } if (bios_name == NULL) { - bios_name = MICROVM_QBOOT_FILENAME; + bios_name = x86_machine_is_acpi_enabled(x86ms) + ? MICROVM_BIOS_FILENAME + : MICROVM_QBOOT_FILENAME; } x86_bios_rom_init(get_system_memory(), true); } |