Re: [libvirt] [RFC PATCH 1/2] qemu: Advertise ACPI support for aarch64 guests

On 03/08/17 18:12, Daniel P. Berrange wrote: > The scenario I was actually thinking of was direct kernel boot, > rather than non-AAVMF impls of UEFI. >  > IOW, where you just pass -kernel/-initrd/-dtb to QEMU and no firmware > file. In that case, we should report an error if <acpi/> is requested > in the XML IIUC.   Direct kernel boot without UEFI firmware should indeed conflict with <acpi/>, yes; there's no firmware to install the tables for the kernel.   Direct kernel boot with UEFI firmware should permit <acpi/>. The firmware starts, does its thing (including installation of ACPI tables), then grabs the kernel from fw_cfg, and launches it. The kernel will see the tables.