On Thu, Feb 25, 2016 at 02:56:04PM +0000, Anthony PERARD wrote: > A user can provide a different ACPI tables than the default one by using > the existing "acpi_firmware" xl's config option or the field > u.hvm.acpi_firmware. > > libxl will check if the provided table is a DSDT or not. >
According to xl.cfg manpage, acpi_firmware= cann't be used to override DSDT, so you seem to be changing the semantics of existing option. Wei. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
