Hi George, Sorry for the late reply.
On 18/09/2023 13:28, George Dunlap wrote:
There is an ongoing disagreement among maintainers for how Xen should handle deviations to specifications such as ACPI or EFI. Write up an explicit policy, and include two worked-out examples from recent discussions.
NIT: For a more balanced arguments, it would have been good to have one example where Xen decides to not accept a deviationg from the spec.
Anyway...
Signed-off-by: George Dunlap <[email protected]>
... your proposal makes sense to me. So with one typo below: Acked-by: Julien Grall <[email protected]>
+## Calling EFI Reboot method + +One interpretation of the EFI spec is that operating systems should +call the EFI ResetSystem method in preference to the ACPI reboot +method. + +However, although the ResetSystem method is required by the EFI spec, +a large number of different systems doesn't actully work, at least
Typo: s/actully/actually/
+when called by Xen: a large number of systems don't cleanly reboot +after calling the EFI REBOOT method, but rather crash or fail in some +other random way.
Cheers, -- Julien Grall
