Re: [Qemu-devel] [PATCH v2 4/4] hw/i386: Introduce the microvm machine type

[Gerd Hoffmann]

  Hi,

> Microvm only supports booting PVH-enabled Linux ELF images. Booting
> other PVH-enabled kernels may be possible, but due to the lack of ACPI
> and firmware, we're relying on the command line for specifying the
> location of the virtio-mmio transports. If there's an interest on
> using this machine type with other kernels, we'll try to find some
> kind of middle ground solution.

Can we get rid of the kernel command line hacking please?
The virtio-mmio devices should be discoverable somehow.

Device tree (as suggested by paolo) would work.
Custom acpi device (simliar to fw_cfg) is another option.
I'd tend to pick acpi, I wouldn't be surprised if we'll
need acpi anyway at some point.

Maybe even do both, then switch at runtime depending on -no-acpi
(simliar to arm/aarch64).

cheers,
  Gerd