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
