SEABIOS updates to support reset and to simplify

[palacios.git] / bios / seabios / src / resume.c

diff --git a/bios/seabios/src/resume.c b/bios/seabios/src/resume.c
index 4390fb5..59dc337 100644 (file)
--- a/bios/seabios/src/resume.c
+++ b/bios/seabios/src/resume.c
@@ -128,18 +128,26 @@ tryReboot(void)
     dprintf(1, "Attempting a hard reboot\n");
 
     // Setup for reset on qemu.
-    if (! CONFIG_COREBOOT) {
+    if (! CONFIG_COREBOOT && !CONFIG_PALACIOS) {
         qemu_prep_reset();
         if (HaveRunPost)
             apm_shutdown();
     }
 
+    HaveRunPost=0;
+
+    dprintf(1,"Attempting i8042 reboot\n");
+
     // Try keyboard controller reboot.
     i8042_reboot();
 
+    dprintf(1,"Attempting PCI reboot\n");
+
     // Try PCI 0xcf9 reboot
     pci_reboot();
 
+    dprintf(1,"Attempting int3 reboot\n");
+
     // Try triple fault
     asm volatile("int3");