X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=26b9345879c1848ce1d7321ea6e68160854e022f;hb=b4731555b30c891d6b833e6e270e9267458f5f44;hp=0d9c69984603eaaa6a69bf4fac58c4af9e54ce54;hpb=c54f45a05ab22478c6314898ad500bc8767cab09;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 0d9c699..26b9345 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -278,6 +278,8 @@ power_off (void)
 #endif
 
   printf ("Powering off...\n");
+  serial_flush ();
+
   for (p = s; *p != '\0'; p++)
     outb (0x8900, *p);
   for (;;);