>>> On 11.03.15 at 12:44, <ross.lagerw...@citrix.com> wrote: > On some systems, the ResetSystem EFI runtime service is broken. Follow the > Linux (and Windows) way by preferring ACPI reboot over EFI reboot. This is > done by making BOOT_EFI a reboot mode similar to BOOT_ACPI and BOOT_KBD.
No. Just because Linux and/or Windows do things a certain way doesn't mean we should follow suit. Rebooting via EFI runtime services should still be the default when running on EFI. Quirks to overcome certain systems' limitations will of course be acceptable. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
