Add PC speaker driver and connect it to '\a' in the VGA console.
[pintos-anon] / src / devices /
drwxr-xr-x   ..
-rw-r--r-- 16321 disk.c
-rw-r--r-- 670 disk.h
-rw-r--r-- 1029 input.c
-rw-r--r-- 223 input.h
-rw-r--r-- 2792 intq.c
-rw-r--r-- 1429 intq.h
-rw-r--r-- 5517 kbd.c
-rw-r--r-- 145 kbd.h
-rw-r--r-- 2894 pit.c
-rw-r--r-- 161 pit.h
-rw-r--r-- 3725 rtc.c
-rw-r--r-- 96 rtc.h
-rw-r--r-- 6557 serial.c
-rw-r--r-- 215 serial.h
-rw-r--r-- 2805 shutdown.c
-rw-r--r-- 544 shutdown.h
-rw-r--r-- 2074 speaker.c
-rw-r--r-- 169 speaker.h
-rw-r--r-- 6284 timer.c
-rw-r--r-- 687 timer.h
-rw-r--r-- 3442 vga.c
-rw-r--r-- 94 vga.h