@philmd commented on gitlab: Discussed with @epilys on IRC, only Xen machines (xenpv/xenfv) configure Xen so can run under it.
But if we want to make it work under Xen. Any ideas how to move in that direction? On Wed, May 29, 2024 at 12:37 PM Paolo Bonzini <pbonz...@redhat.com> wrote: > > On 5/28/24 12:23, Will Gyda wrote: > > Issue #2294: Machine microvm doesn't run under Xen accel for > > qemu-system-x86_64. > > Solution: microvm is now not build if only Xen is available. > > This does not fix the issue that microvm does not start with a Xen > accelerator. I think it would be better to try and make it work instead. > > Paolo > > > Signed-off-by: Will Gyda <vilhelmg...@gmail.com> > > > > --- > > configs/devices/i386-softmmu/default.mak | 2 +- > > hw/i386/Kconfig | 2 ++ > > 2 files changed, 3 insertions(+), 1 deletion(-) > > > > diff --git a/configs/devices/i386-softmmu/default.mak > > b/configs/devices/i386-softmmu/default.mak > > index 598c6646df..6a73aee7dd 100644 > > --- a/configs/devices/i386-softmmu/default.mak > > +++ b/configs/devices/i386-softmmu/default.mak > > @@ -29,4 +29,4 @@ > > CONFIG_ISAPC=y > > CONFIG_I440FX=y > > CONFIG_Q35=y > > -CONFIG_MICROVM=y > > +#CONFIG_MICROVM=n > > diff --git a/hw/i386/Kconfig b/hw/i386/Kconfig > > index a6ee052f9a..f8ec8ebd7a 100644 > > --- a/hw/i386/Kconfig > > +++ b/hw/i386/Kconfig > > @@ -108,6 +108,8 @@ config Q35 > > > > config MICROVM > > bool > > + default y > > + depends on KVM || WHPX || NVMM || HVF > > select SERIAL_ISA # for serial_hds_isa_init() > > select ISA_BUS > > select APIC >