-Added IRQ to PCI

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index df3877705db29ff9deb09bf13f2e8c1d11d18abe..f080aa2f6d2f3b118a7edfa98fac2ebc71d33202 100644 (file)
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -7,8 +7,7 @@ VPATH = ../..
 
 # Compiler and assembler options.
 DEFINES += -DKERNEL
-CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/kernel        \
-          -include constants.h
+CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/kernel
 
 # Core kernel.
 threads_SRC  = threads/init.c          # Main program.
@@ -29,6 +28,8 @@ 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/intq.c          # Interrupt queue.
+devices_SRC += devices/pci.c            # PCI device.
+devices_SRC += devices/usb.c            # USB device.
 
 # Library code shared between kernel and user programs.
 lib_SRC  = lib/debug.c                 # Debug helpers.