X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=4a28af324a095487e8a9a5e8b88c60b870151979;hb=159356d2478ab200cda0a0aa726d8f1bfa4ffeeb;hp=416b0c78ed68d320faf6b2fd7f203d9691119f1f;hpb=e91412faf338dbe40aad6f4df64b98642438d510;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 416b0c7..4a28af3 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -1,6 +1,6 @@
 # Makefile for GeekOS kernel, userspace, and tools
 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.27 $
+# $Revision: 1.28 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -134,7 +134,7 @@ VMM_C_OBJS := $(VMM_C_SRCS:%.c=palacios/%.o)
 
 VMM_OBJS := $(VMM_C_OBJS) $(VMM_ASM_OBJS)
 
-DEVICE_C_SRCS :=  nvram.c timer.c simple_pic.c
+DEVICE_C_SRCS :=  nvram.c timer.c simple_pic.c 8259a.c
 
 DEVICE_C_OBJS := $(DEVICE_C_SRCS:%.c=devices/%.o)