X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;fp=src%2Fthreads%2Finit.c;h=458f67cb2bbd7a7424950d8a219c9f08747c30f8;hp=c8889f10abbe6af8b1bca6c8874adadb045678f8;hb=fd24c2387f5cf1b802e885c7430ba1f1bb852e13;hpb=1f197c6861841bc0c27327c20b85e7b43b65affe

diff --git a/src/threads/init.c b/src/threads/init.c
index c8889f1..458f67c 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -367,7 +367,7 @@ usage (void)
 
 
 /* Powers down the machine we're running on,
-   as long as we're running on Bochs or qemu. */
+   as long as we're running on Bochs or QEMU. */
 void
 power_off (void) 
 {
@@ -385,6 +385,8 @@ power_off (void)
 
   for (p = s; *p != '\0'; p++)
     outb (0x8900, *p);
+  asm ("cli; hlt");
+  printf ("still running...\n");
   for (;;);
 }