X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fdevices%2Fshutdown.c;h=61c76f7b060d2746ae6fa1763feede4f895db200;hp=7ff9a95adbe080893eef291ca96c937afdf8d44b;hb=f5fa837e313d018a945eaedd28352e7f24e5b1a6;hpb=a03618133f7df0954802a470a4bee7674f7aed45

diff --git a/src/devices/shutdown.c b/src/devices/shutdown.c
index 7ff9a95..61c76f7 100644
--- a/src/devices/shutdown.c
+++ b/src/devices/shutdown.c
@@ -99,6 +99,9 @@ shutdown_power_off (void)
   printf ("Powering off...\n");
   serial_flush ();
 
+  /* ACPI power-off */
+  outw (0xB004, 0x2000);
+
   /* This is a special power-off sequence supported by Bochs and
      QEMU, but not by physical hardware. */
   for (p = s; *p != '\0'; p++)