X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fdevices%2Fvga.c;h=f421b617bd3706858d2536eb21866531b1fd9b85;hp=8255747244e641d599d686fadecb167a9fc6b4f7;hb=f1f2dc8de9e336d83383692d4478bb14a3dafc11;hpb=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a

diff --git a/src/devices/vga.c b/src/devices/vga.c
index 8255747..f421b61 100644
--- a/src/devices/vga.c
+++ b/src/devices/vga.c
@@ -3,6 +3,7 @@
 #include <stdint.h>
 #include <stddef.h>
 #include <string.h>
+#include "devices/speaker.h"
 #include "threads/io.h"
 #include "threads/interrupt.h"
 #include "threads/vaddr.h"
@@ -80,6 +81,12 @@ vga_putc (int c)
       if (cx >= COL_CNT)
         newline ();
       break;
+
+    case '\a':
+      intr_set_level (old_level);
+      speaker_beep ();
+      intr_disable ();
+      break;
       
     default:
       fb[cy][cx][0] = c;