* Frans Meulenbroeks <fransmeulenbroeks@gmail.com> wrote:
... which is not an issue in this particular discussion, which was about
x86 with ACPI support enabled and available, whether in that case (and
only in that case) we should first try the ACPI reboot ports (that the
ACPI descriptors advertise) before also trying the other methods (kdb,
bios, triple fault, etc.) to reboot the box.
Ingo
--