X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=763f0aff8fd22d7ee0805e87078a7e797da3daa4;hb=b4e9c266d656c6b595cc57920a34937776acc300;hp=e997d2787543cb4860edff352660dea9ae350bcf;hpb=6ffbc2b68c34c2d1e42d5f6bcd8f2b94b82d05d7;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index e997d27..763f0af 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -36,6 +36,12 @@ devices_SRC += devices/intq.c		# Interrupt queue.
 devices_SRC += devices/rtc.c		# Real-time clock.
 devices_SRC += devices/shutdown.c	# Reboot and power off.
 devices_SRC += devices/speaker.c	# PC speaker.
+devices_SRC += devices/pci.c		# PCI bus.
+devices_SRC += devices/usb.c		# USB layer.
+devices_SRC += devices/usb_uhci.c	# UHCI device.
+devices_SRC += devices/usb_ehci.c	# EHCI device.
+devices_SRC += devices/usb_storage.c	# USB mass storage class driver.
+devices_SRC += devices/usb_hub.c	# USB hub class driver.
 
 # Library code shared between kernel and user programs.
 lib_SRC  = lib/debug.c			# Debug helpers.