On 14/12/16 11:12, Ross Lagerwall wrote: > When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the > EFI runtime instead of rebooting. Quirk this hardware to use the ACPI > reboot method instead. > > dmidecode info: > > BIOS Information > Vendor: Dell Inc. > Version: A15 > Release Date: 11/08/2015 > System Information > Manufacturer: Dell Inc. > Product Name: OptiPlex 9020 > Version: 00 > > Signed-off-by: Ross Lagerwall <ross.lagerw...@citrix.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
