Capitalize QEMU properly.
[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-- 2826 intq.c
-rw-r--r-- 1429 intq.h
-rw-r--r-- 5294 kbd.c
-rw-r--r-- 145 kbd.h
-rw-r--r-- 6470 serial.c
-rw-r--r-- 245 serial.h
-rw-r--r-- 4996 timer.c
-rw-r--r-- 495 timer.h
-rw-r--r-- 2807 vga.c
-rw-r--r-- 116 vga.h