Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

>>> On 14.12.16 at 14:15, wrote: > On 14/12/16 12:58, Jan Beulich wrote: > On 14.12.16 at 12:12, wrote: >>> When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the >>> EFI runtime instead of rebooting. >> Has it been

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

On 14/12/16 13:21, Jan Beulich wrote: On 14.12.16 at 14:15, wrote: >> On 14/12/16 12:58, Jan Beulich wrote: >> On 14.12.16 at 12:12, wrote: When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the EFI runtime

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

On 14/12/16 12:58, Jan Beulich wrote: On 14.12.16 at 12:12, wrote: >> When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the >> EFI runtime instead of rebooting. > Has it been understood what the #GP is due to? I.e. is it namely > not because of a

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

>>> On 14.12.16 at 12:12, wrote: > When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the > EFI runtime instead of rebooting. Has it been understood what the #GP is due to? I.e. is it namely not because of a mis-aligned SSE instruction memory reference?

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

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 >

[Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

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