X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=4bfad21c154fa1408eb0f637722f76c2130b60f5;hb=62786ba1c9a264dfd00aa705f62bd65b5b0e7bb0;hp=ba09371bbbfb7bb1db6f406fc9b24e7bc756a8d1;hpb=561e89ed85d5133af211fe820476e9a6e669673f;p=palacios.releases.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index ba09371..4bfad21 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -306,6 +306,7 @@ VMM_OBJS := \
 	palacios/vmm_direct_paging.o \
 	palacios/vmm_ringbuffer.o \
 	palacios/vmm_hypercall.o \
+	palacios/vmm_lock.o \
 	$(OBJ_FILES)
 
 #		vmx.c vmcs_gen.c vmcs.c
@@ -343,6 +344,7 @@ DEVICES_OBJS := \
 	devices/ram_hd.o \
 	devices/i440fx.o \
 	devices/piix3.o \
+	devices/net_cd.o \
 
 #	devices/ne2k.o	\
 #	devices/cdrom.o \