On Fri, Sep 16, 2022 at 12:55:06PM +0200, Marek Marczykowski-Górecki wrote: > On Fri, Sep 16, 2022 at 12:28:46PM +0200, Jan Beulich wrote: > > On 16.09.2022 11:53, Marek Marczykowski-Górecki wrote: > > > On Fri, Sep 16, 2022 at 07:57:59AM +0200, Jan Beulich wrote: > > >> ... this leads to the crash, which effectively tells us that this is > > >> likely yet another system where one needs to override the reboot > > >> method (e.g. reboot=acpi). > > > > > > At least Linux, but also XenServer uses reboot=acpi by default (even on > > > EFI systems), can we make it default in upstream Xen? Issues with > > > reboot=efi are rather common, while reboot=acpi just works. > > > > But rebooting by means other than the EFI runtime service has always been > > against the spirit of EFI. > > I'm afraid firmware developers (apparently) haven't heard of it. Can we > have "works by default" behaviour?
We could make it a Kconfig option and set the default to acpi IMO. Thanks, Roger.
