From: David Woodhouse <david.woodho...@intel.com>
The so-called "PCI" reboot at 0xCF9 is supposed to be a hard reset, while
the keyboard controller is only a soft reset. So try pci_reboot() first.
Signed-off-by: David Woodhouse <david.woodho...@intel.com>
---
src/resume.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/resume.c b/src/resume.c
index 784abac..97e20b6 100644
--- a/src/resume.c
+++ b/src/resume.c
@@ -135,12 +135,12 @@ tryReboot(void)
// Reboot using ACPI RESET_REG
acpi_reboot();
- // Try keyboard controller reboot.
- i8042_reboot();
-
// Try PCI 0xcf9 reboot
pci_reboot();
+ // Try keyboard controller reboot.
+ i8042_reboot();
+
// Try triple fault
asm volatile("int3");
--
1.8.1.2
_______________________________________________
SeaBIOS mailing list
SeaBIOS@seabios.org
http://www.seabios.org/mailman/listinfo/seabios
