Capitalize QEMU properly.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index c8889f10abbe6af8b1bca6c8874adadb045678f8..458f67cb2bbd7a7424950d8a219c9f08747c30f8 100644 (file)
--- 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 (;;);
 }