X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=bios%2Fseabios%2Fsrc%2Fresume.c;h=59dc33722489366add975412555e8149bfcbab0b;hp=4390fb59c43941354cfc14d606f0862685b085ca;hb=de96f467a8d9ca35ad81bd21df696933fdc7e728;hpb=3878df3f39c735f0cc565166ee5bcf0294ea1092

diff --git a/bios/seabios/src/resume.c b/bios/seabios/src/resume.c
index 4390fb5..59dc337 100644
--- 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");