X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=9a2728d356a1441bd4d13701022908a61b07870e;hb=e1289bf52f9dbc8da311fe2064af85076edf82b1;hp=cf0f9b6f152891323df145b820dfc9bfc414e544;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index cf0f9b6..9a2728d 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -28,6 +28,7 @@ devices_SRC += devices/kbd.c		# Keyboard device.
 devices_SRC += devices/vga.c		# Video device.
 devices_SRC += devices/serial.c		# Serial port device.
 devices_SRC += devices/disk.c		# IDE disk device.
+devices_SRC += devices/input.c		# Serial and keyboard input.
 devices_SRC += devices/intq.c		# Interrupt queue.
 
 # Library code shared between kernel and user programs.
@@ -53,7 +54,7 @@ userprog_SRC += userprog/gdt.c		# GDT initialization.
 userprog_SRC += userprog/tss.c		# TSS management.
 
 # No virtual memory code yet.
-#vm_SRC = vm/filename.c			# Some file.
+#vm_SRC = vm/file.c			# Some file.
 
 # Filesystem code.
 filesys_SRC  = filesys/filesys.c	# Filesystem core.