Subject: set default machine type to be microvm if CONFIG_MICROVM is defined
Debian-Specific: yes
From: Michael Tokarev <mjt@tls.msk.ru>
Date: Sat, 22 Feb 2020 16:19:11 +0300

diff --git a/hw/i386/microvm.c b/hw/i386/microvm.c
index def37e60f79..35b948ffb11 100644
--- a/hw/i386/microvm.c
+++ b/hw/i386/microvm.c
@@ -495,6 +495,9 @@ static void microvm_class_init(ObjectClass *oc, void *data)
 
     mc->family = "microvm_i386";
     mc->desc = "microvm (i386)";
+#ifdef CONFIG_MICROVM_DEFAULT
+    mc->is_default = true;
+#endif
     mc->units_per_default_bus = 1;
     mc->no_floppy = 1;
     mc->max_cpus = 288;
diff --git a/hw/i386/pc_piix.c b/hw/i386/pc_piix.c
index 22dee0e76c6..8115ff855d9 100644
--- a/hw/i386/pc_piix.c
+++ b/hw/i386/pc_piix.c
@@ -427,2 +427,7 @@ static void pc_i440fx_5_0_machine_options(MachineClass *m)
     m->is_default = true;
+#ifdef CONFIG_MICROVM_DEFAULT
+    m->is_default = false;
+#else
+    m->is_default = true;
+#endif
     pcmc->default_cpu_version = 1;